cmd_reboot         49 usr/test/kmon/cmd.c static void cmd_reboot(int argc, char **argv);
cmd_reboot         63 usr/test/kmon/cmd.c 	{ "reboot"	,cmd_reboot	,"Reboot system" },