Question about get the user or kernel mode of vmx vcpu

Question about get the user or kernel mode of vmx vcpu

[=?gb18030?B?V2FuZ2JlaQ==?=]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.1: Type: text/plain; charset="gb18030", Size: 1074 bytes --]

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

[-- Attachment #1.2: Type: text/html, Size: 4092 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

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

Re: Question about get the user or kernel mode of vmx vcpu

[Andrew Cooper]

On 05/06/13 17:24, Wangbei wrote:

You probably want something based on _get_cpl() from
xen/arch/x86/x86_emulate/x86_emulate.c

~Andrew