Searched refs:PAGE_FAULT_ERROR_CODE_MASK (Results 1 – 2 of 2) sorted by relevance
150 PAGE_FAULT_ERROR_CODE_MASK = 0x00004006, enumerator
2666 vmcs_write32(PAGE_FAULT_ERROR_CODE_MASK, !!bypass_guest_pf); in vmx_vcpu_setup()