Searched refs:EPT_POINTER (Results 1 – 2 of 2) sorted by relevance
157 EPT_POINTER = 0x0000201a, enumerator
730 FIELD64(EPT_POINTER, ept_pointer),3918 vmcs_write64(EPT_POINTER, eptp); in vmx_set_cr3()8162 pr_err("EPT pointer = 0x%016lx\n", vmcs_readl(EPT_POINTER)); in dump_vmcs()