Symbol: vmx_handle_np_fault
sys/arch/amd64/amd64/vmm_machdep.c
133
int vmx_handle_np_fault(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4676
ret = vmx_handle_np_fault(vcpu);