Searched refs:EPT_POINTER (Results 1 – 3 of 3) sorted by relevance
195 EPT_POINTER = 0x0000201a, enumerator
413 case EPT_POINTER: in evmcs_vmread()800 case EPT_POINTER: in evmcs_vmwrite()
222 vmwrite(EPT_POINTER, ept_paddr); in init_vmcs_control_fields()