Home
last modified time | relevance | path

Searched refs:presentmask (Results 1 – 1 of 1) sorted by relevance

/openbsd/sys/arch/amd64/amd64/
H A Dvmm_machdep.c4490 uint64_t presentmask = IA32_VMX_EPT_FAULT_WAS_READABLE | in vmx_get_guest_faulttype() local
4497 if ((exit_qual & presentmask) == 0) in vmx_get_guest_faulttype()