HelenOS sources

SYS_REBOOT         63 kernel/generic/src/syscall/syscall.c 	[SYS_REBOOT] = (syshandler_t) sys_reboot,
SYS_REBOOT         42 uspace/app/trace/syscalls.c 	[SYS_REBOOT] = { "reboot", 0, V_ERRNO },
SYS_REBOOT         41 uspace/lib/c/generic/shutdown.c 	(void) __SYSCALL0(SYS_REBOOT);