Symbol: os_vmspace_fault
sys/dev/virtual/nvmm/nvmm.c
593
if (os_vmspace_fault(vm, exit->u.mem.gpa, exit->u.mem.prot)) {
sys/dev/virtual/nvmm/nvmm_os.h
277
int os_vmspace_fault(os_vmspace_t *, vaddr_t, vm_prot_t);