KDB_ENABLE_REBOOT   55 include/linux/kdb.h 	KDB_ENABLE_REBOOT_NO_ARGS = KDB_ENABLE_REBOOT
KDB_ENABLE_REBOOT 2849 kernel/debug/kdb/kdb_main.c 	  KDB_ENABLE_REBOOT);