kdb_reboot       1828 kernel/debug/kdb/kdb_main.c 			kdb_reboot(0, NULL);
kdb_reboot       2847 kernel/debug/kdb/kdb_main.c 	kdb_register_flags("reboot", kdb_reboot, "",