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);