Symbol: svm_handle_np_fault
sys/arch/amd64/amd64/vmm_machdep.c
134
int svm_handle_np_fault(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4252
ret = svm_handle_np_fault(vcpu);