Searched refs:EPT_POINTER (Results 1 – 4 of 4) sorted by relevance
146 EPT_POINTER = 0x0000201a, enumerator
432 case EPT_POINTER: in evmcs_vmread()882 case EPT_POINTER: in evmcs_vmwrite()
219 vmwrite(EPT_POINTER, eptp); in init_vmcs_control_fields()
3531 vmcs_write64(EPT_POINTER, construct_eptp(root_hpa)); in vmx_is_valid_cr4() 6666 pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER)); in dump_vmcs()