Searched refs:EPT_POINTER (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/include/asm-x86/hvm/vmx/ |
| A D | vmcs.h | 413 EPT_POINTER = 0x0000201a, enumerator
|
| /xen/xen/arch/x86/hvm/vmx/ |
| A D | vvmx.c | 219 return get_vvmcs(v, EPT_POINTER) & PAGE_MASK; in nvmx_vcpu_eptp_base()
1250 __vmwrite(EPT_POINTER, get_shadow_eptp(v)); in virtual_vmentry()
1252 __vmwrite(EPT_POINTER, get_host_eptp(v)); in virtual_vmentry()
1500 __vmwrite(EPT_POINTER, get_shadow_eptp(curr)); in nvmx_eptp_update()
|
| A D | vmcs.c | 1313 __vmwrite(EPT_POINTER, ept->eptp); in construct_vmcs()
1781 __vmwrite(EPT_POINTER, eptp); in vmx_vcpu_update_eptp()
2085 vmr(EPT_POINTER), vmr16(EPTP_INDEX)); in vmcs_dump_vcpu()
|
| A D | vmx.c | 2121 __vmwrite(EPT_POINTER, ept->eptp); in vmx_vcpu_update_eptp()
3749 __vmread(EPT_POINTER, &eptp); in vmx_vmexit_handler()
|
Completed in 20 milliseconds