vm_prot_t
os_vmspace_fault(os_vmspace_t *vm, vaddr_t va, vm_prot_t prot)
int os_vmspace_fault(os_vmspace_t *, vaddr_t, vm_prot_t);
os_vmspace_fault(os_vmspace_t *vm, vaddr_t va, vm_prot_t prot)
int os_vmspace_fault(os_vmspace_t *, vaddr_t, vm_prot_t);