HelenOS sources

sys_reboot         42 kernel/generic/include/main/shutdown.h extern sys_errno_t sys_reboot(void);
sys_reboot         63 kernel/generic/src/syscall/syscall.c 	[SYS_REBOOT] = (syshandler_t) sys_reboot,
sys_reboot         38 uspace/lib/c/include/shutdown.h extern void sys_reboot(void);
sys_reboot         38 uspace/lib/posix/include/libc/shutdown.h extern void sys_reboot(void);
sys_reboot        668 uspace/srv/system/system.c 	sys_reboot();