HelenOS sources

reboot             41 kernel/generic/include/main/shutdown.h extern void reboot(void);
reboot            896 kernel/generic/src/console/cmd.c 	reboot();
reboot             71 kernel/generic/src/main/shutdown.c 	reboot();