HelenOS sources

reboot            108 kernel/generic/include/arch.h extern void reboot(void);
reboot            894 kernel/generic/src/console/cmd.c 	reboot();