sys_reboot 79 kernel/generic/src/main/shutdown.c sys_errno_t sys_reboot(void) sys_reboot 39 uspace/lib/c/generic/shutdown.c void sys_reboot(void)