userspace 42 kernel/generic/include/userspace.h extern void userspace(uspace_arg_t *uarg) __attribute__((noreturn)); userspace 74 kernel/generic/src/main/uinit.c userspace(&local_uarg);