HelenOS sources

arch_reboot       109 kernel/generic/include/arch.h extern void arch_reboot(void);
arch_reboot        51 kernel/generic/src/main/shutdown.c 	arch_reboot();