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" },