kd_reboot          51 bsp/drv/dev/base/kd.c static int kd_reboot(int, char **);
kd_reboot          74 bsp/drv/dev/base/kd.c 	{ "reboot"	,kd_reboot	,"Reboot system" },