Searched refs:EPT_POINTER (Results 1 – 7 of 7) sorted by relevance
45 FIELD64(EPT_POINTER, ept_pointer),188 VMCS12_CASE64(EPT_POINTER): in cpu_has_vmcs12_field()
121 EVMCS1_FIELD(EPT_POINTER, ept_pointer,
3607 vmcs_write64(EPT_POINTER, construct_eptp(root_hpa)); in vmx_load_mmu_pgd()6750 pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER)); in dump_vmcs()
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()
237 EPT_POINTER = 0x0000201a, enumerator