Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h361 #define VMCS_HIGH(x) ((x) | 1) macro
/xen-4.10.0-shim-comet/xen/arch/x86/hvm/vmx/
A Dvvmx.c105 set_bit(VMCS_HIGH(IO_BITMAP_A), vw); in nvmx_vcpu_initialise()
107 set_bit(VMCS_HIGH(IO_BITMAP_B), vw); in nvmx_vcpu_initialise()
109 set_bit(VMCS_HIGH(MSR_BITMAP), vw); in nvmx_vcpu_initialise()
1905 switch ( vmcs_encoding & ~VMCS_HIGH(0) ) in nvmx_handle_vmwrite()

Completed in 11 milliseconds