Lines Matching defs:user_addr
132 copyio(int copy_type, user_addr_t user_addr, char *kernel_addr,
155 KERNEL_DEBUG(debug_type | DBG_FUNC_START, (int)(user_addr >> 32), (int)user_addr,
159 KERNEL_DEBUG(debug_type | DBG_FUNC_END, (unsigned)user_addr,
167 kern_vaddr = (vm_offset_t)user_addr;
201 if ((nbytes && (user_addr + nbytes <= user_addr)) ||
202 (user_addr < vm_map_min(thread->map)) ||
203 (user_addr + nbytes > vm_map_max(thread->map))) {
208 user_base = user_addr & ~((user_addr_t)(NBPDE - 1));
209 user_offset = (vm_offset_t)(user_addr & (NBPDE - 1));
377 KERNEL_DEBUG(debug_type | DBG_FUNC_END, (unsigned)user_addr,
489 copyinmsg(const user_addr_t user_addr, char *kernel_addr, mach_msg_size_t nbytes)
491 return (copyio(COPYIN, user_addr, kernel_addr, nbytes, NULL, 0));
495 copyin(const user_addr_t user_addr, char *kernel_addr, vm_size_t nbytes)
497 return (copyio(COPYIN, user_addr, kernel_addr, nbytes, NULL, 0));
501 copyinstr(const user_addr_t user_addr, char *kernel_addr, vm_size_t nbytes, vm_size_t *lencopied)
505 return (copyio(COPYINSTR, user_addr, kernel_addr, nbytes, lencopied, 0));
509 copyoutmsg(const char *kernel_addr, user_addr_t user_addr, mach_msg_size_t nbytes)
511 return (copyio(COPYOUT, user_addr, (char *)(uintptr_t)kernel_addr, nbytes, NULL, 0));
515 copyout(const void *kernel_addr, user_addr_t user_addr, vm_size_t nbytes)
517 return (copyio(COPYOUT, user_addr, (char *)(uintptr_t)kernel_addr, nbytes, NULL, 0));