Symbol: vmx_get_guest_faulttype
sys/arch/amd64/amd64/vmm_machdep.c
126
int vmx_get_guest_faulttype(void);
sys/arch/amd64/amd64/vmm_machdep.c
5107
fault_type = vmx_get_guest_faulttype();