[Xen-devel] Question about get the user or kernel mode of vmx vcpu

["=?gb18030?b?V2FuZ2JlaQ==?=" <wangbei@xxxxxxxxxx>]

Hi,

     This is Bei Wang, . I am doing research of spinlock optimization to deal with lock holder preemption.

     I want to filter vcpu to make precise scheduling.If the vcpu of vmx hvm is running on user mode in guest,it will be filtered out.In linux-kvm £¬I use vmx_get_cpl function to get  

     But now i have a question to migrate the code into xen platform.I can't find any suitable function to judge cpl of vcpu.It seems that vmx_guest_x86_mode(arch/x86/hvm/vmx/vmx.c)don't output the mode of kernel or user in hvm.

     So what should I do to get the vcpu cpl of vmx in xen? Can you give me some advice?

     By the way ,my server is  x86 architecture.(DELL T710),not IA64

     Thank you very much :)

                                                                                                                                                                          Wangbei

                                                                                                                                                                         2013/6/5

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel