linux_getuid16_args
int linux_getuid16(struct thread *, struct linux_getuid16_args *);
linux_getuid16(struct thread *td, struct linux_getuid16_args *args)
int linux_getuid16(struct thread *, struct linux_getuid16_args *);