Searched refs:EPT_POINTER (Results 1 – 3 of 3) sorted by relevance
148 EPT_POINTER = 0x0000201a, enumerator
435 case EPT_POINTER: in evmcs_vmread()885 case EPT_POINTER: in evmcs_vmwrite()
210 vmwrite(EPT_POINTER, ept_paddr); in init_vmcs_control_fields()