HelenOS sources

arch_get_initial_sp   41 kernel/generic/include/userspace.h extern uintptr_t arch_get_initial_sp(uintptr_t stack_base, uintptr_t stack_size);
arch_get_initial_sp  107 kernel/generic/src/proc/program.c 	kernel_uarg->sp = arch_get_initial_sp(virt, STACK_SIZE_USER);