Home
last modified time | relevance | path

Searched refs:VMCS_HIGH (Results 1 – 2 of 2) sorted by relevance

/xen/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h378 #define VMCS_HIGH(x) ((x) | 1) macro
/xen/xen/arch/x86/hvm/vmx/
A Dvvmx.c122 set_bit(VMCS_HIGH(IO_BITMAP_A), vw); in nvmx_vcpu_initialise()
124 set_bit(VMCS_HIGH(IO_BITMAP_B), vw); in nvmx_vcpu_initialise()
126 set_bit(VMCS_HIGH(MSR_BITMAP), vw); in nvmx_vcpu_initialise()
2002 switch ( vmcs_encoding & ~VMCS_HIGH(0) ) in nvmx_handle_vmwrite()

Completed in 9 milliseconds