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