EPT_POINTER
EVMCS1_FIELD(EPT_POINTER, ept_pointer,
VMCS12_CASE64(EPT_POINTER):
FIELD64(EPT_POINTER, ept_pointer),
vmcs_write64(EPT_POINTER, construct_eptp(root_hpa));
pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER));
case EPT_POINTER:
case EPT_POINTER:
vmwrite(EPT_POINTER, eptp);