Searched refs:EPT_POINTER (Results 1 – 8 of 8) sorted by relevance
/Linux-v6.1/arch/x86/kvm/vmx/ |
D | vmcs12.c | 44 FIELD64(EPT_POINTER, ept_pointer),
|
D | evmcs.c | 129 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
|
D | vmx.c | 3252 vmcs_write64(EPT_POINTER, eptp); in vmx_load_mmu_pgd() 6270 pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER)); in dump_vmcs()
|
D | nested.c | 2151 vmcs_write64(EPT_POINTER, in prepare_vmcs02_constant_state()
|
/Linux-v6.1/tools/testing/selftests/kvm/include/x86_64/ |
D | vmx.h | 148 EPT_POINTER = 0x0000201a, enumerator
|
D | evmcs.h | 445 case EPT_POINTER: in evmcs_vmread() 895 case EPT_POINTER: in evmcs_vmwrite()
|
/Linux-v6.1/arch/x86/include/asm/ |
D | vmx.h | 210 EPT_POINTER = 0x0000201a, enumerator
|
/Linux-v6.1/tools/testing/selftests/kvm/lib/x86_64/ |
D | vmx.c | 230 vmwrite(EPT_POINTER, ept_paddr); in init_vmcs_control_fields()
|