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 35 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>
userspace.h 55 kernel/generic/src/proc/program.c #include <userspace.h>
HelenOS homepage, sources at GitHub