HelenOS sources

userspace.h   35 kernel/arch/abs32le/src/userspace.c #include <userspace.h>
userspace.h   35 kernel/arch/amd64/src/userspace.c #include <userspace.h>
userspace.h   47 kernel/arch/arm32/src/arm32.c #include <userspace.h>
userspace.h   37 kernel/arch/arm32/src/userspace.c #include <userspace.h>
userspace.h   47 kernel/arch/arm64/src/arm64.c #include <userspace.h>
userspace.h   35 kernel/arch/ia32/src/userspace.c #include <userspace.h>
userspace.h   44 kernel/arch/ia64/src/ia64.c #include <userspace.h>
userspace.h   44 kernel/arch/mips32/src/mips32.c #include <userspace.h>
userspace.h   47 kernel/arch/ppc32/src/ppc32.c #include <userspace.h>
userspace.h   36 kernel/arch/riscv64/src/userspace.c #include <userspace.h>
userspace.h   50 kernel/arch/sparc64/src/sun4u/sparc64.c #include <userspace.h>
userspace.h   51 kernel/arch/sparc64/src/sun4v/sparc64.c #include <userspace.h>
userspace.h   46 kernel/generic/src/main/uinit.c #include <userspace.h>