sys_reboot        104 kern/arch/mips/syscall/syscall.c 		err = sys_reboot(tf->tf_a0);
sys_reboot         58 kern/include/syscall.h int sys_reboot(int code);
sys_reboot        287 kern/startup/menu.c 	sys_reboot(RB_POWEROFF);