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