HelenOS sources

userspace          45 kernel/arch/abs32le/src/userspace.c void userspace(uintptr_t pc, uintptr_t sp)
userspace          53 kernel/arch/amd64/src/userspace.c void userspace(uintptr_t pc, uintptr_t sp)
userspace          73 kernel/arch/arm32/src/userspace.c void userspace(uintptr_t pc, uintptr_t sp)
userspace         157 kernel/arch/arm64/src/arm64.c void userspace(uintptr_t pc, uintptr_t sp)
userspace          54 kernel/arch/ia32/src/userspace.c void userspace(uintptr_t pc, uintptr_t sp)
userspace         226 kernel/arch/ia64/src/ia64.c void userspace(uintptr_t pc, uintptr_t sp)
userspace         170 kernel/arch/mips32/src/mips32.c void userspace(uintptr_t pc, uintptr_t sp)
userspace         296 kernel/arch/ppc32/src/ppc32.c void userspace(uintptr_t pc, uintptr_t sp)
userspace          42 kernel/arch/riscv64/src/userspace.c void userspace(uintptr_t pc, uintptr_t sp)
userspace         167 kernel/arch/sparc64/src/sun4u/sparc64.c void userspace(uintptr_t pc, uintptr_t sp)
userspace         165 kernel/arch/sparc64/src/sun4v/sparc64.c void userspace(uintptr_t pc, uintptr_t sp)