Searched refs:copyout_kern (Results 1 – 3 of 3) sorted by relevance
130 extern int copyout_kern(const char *kernel_addr, user_addr_t user_addr, vm_size_t nbytes);
395 copyout_kern(const char *kernel_addr, user_addr_t user_addr, vm_size_t nbytes) in copyout_kern() function593 return copyout_kern(kernel_addr, guarded_user_addr, nbytes); in copyout()
127 copyout_kern(src, dst, size) : \