Searched refs:EPT_POINTER (Results 1 – 8 of 8) sorted by relevance
| /Linux-v5.4/arch/x86/kvm/vmx/ |
| D | vmcs12.c | 44 FIELD64(EPT_POINTER, ept_pointer),
|
| D | evmcs.c | 124 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
|
| D | vmx.c | 3004 vmcs_write64(EPT_POINTER, eptp); in vmx_set_cr3()
5834 pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER)); in dump_vmcs()
|
| D | nested.c | 1989 vmcs_write64(EPT_POINTER, construct_eptp(&vmx->vcpu, 0)); in prepare_vmcs02_constant_state()
|
| /Linux-v5.4/arch/x86/include/asm/ |
| D | vmx.h | 195 EPT_POINTER = 0x0000201a, enumerator
|
| /Linux-v5.4/tools/testing/selftests/kvm/include/x86_64/ |
| D | vmx.h | 195 EPT_POINTER = 0x0000201a, enumerator
|
| /Linux-v5.4/tools/testing/selftests/kvm/include/ |
| D | evmcs.h | 413 case EPT_POINTER: in evmcs_vmread()
800 case EPT_POINTER: in evmcs_vmwrite()
|
| /Linux-v5.4/tools/testing/selftests/kvm/lib/x86_64/ |
| D | vmx.c | 222 vmwrite(EPT_POINTER, ept_paddr); in init_vmcs_control_fields()
|
