int copyout(const void *kaddr, user_addr_t udaddr, size_t len);
#if defined (_FORTIFY_SOURCE) && _FORTIFY_SOURCE == 0
/* FORTIFY_SOURCE disabled */
#else
int copyout(const void *kaddr, user_addr_t udaddr, size_t len);
#if defined (_FORTIFY_SOURCE) && _FORTIFY_SOURCE == 0
/* FORTIFY_SOURCE disabled */
#else