EPT_POINTER (reference) in projects: arch

44 	FIELD64(EPT_POINTER, ept_pointer),

3005 		vmcs_write64(EPT_POINTER, eptp);  in vmx_set_cr3()
5838 		pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER));  in dump_vmcs()

195 	EPT_POINTER                     = 0x0000201a,  enumerator

/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	`3005 vmcs_write64(EPT_POINTER, eptp); in vmx_set_cr3() 5838 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()`
/arch/x86/include/asm/
D	vmx.h	`195 EPT_POINTER = 0x0000201a, enumerator`