Searched refs:EPT_POINTER (Results 1 – 4 of 4) sorted by relevance
| /xen-4.10.0-shim-comet/xen/include/asm-x86/hvm/vmx/ |
| A D | vmcs.h | 396 EPT_POINTER = 0x0000201a, enumerator
|
| /xen-4.10.0-shim-comet/xen/arch/x86/hvm/vmx/ |
| A D | vmcs.c | 1251 __vmwrite(EPT_POINTER, ept->eptp); in construct_vmcs()
1607 __vmwrite(EPT_POINTER, eptp); in vmx_vcpu_update_eptp()
1894 vmr(EPT_POINTER), vmr16(EPTP_INDEX)); in vmcs_dump_vcpu()
|
| A D | vvmx.c | 185 return get_vvmcs(v, EPT_POINTER) & PAGE_MASK; in nvmx_vcpu_eptp_base()
1206 __vmwrite(EPT_POINTER, get_shadow_eptp(v)); in virtual_vmentry()
1208 __vmwrite(EPT_POINTER, get_host_eptp(v)); in virtual_vmentry()
1430 __vmwrite(EPT_POINTER, get_shadow_eptp(curr)); in nvmx_eptp_update()
|
| A D | vmx.c | 2167 __vmwrite(EPT_POINTER, ept->eptp); in vmx_vcpu_update_eptp()
3582 __vmread(EPT_POINTER, &eptp); in vmx_vmexit_handler()
|
Completed in 18 milliseconds