kgdb_unregister_nmi_console  364 drivers/tty/serial/kgdb_nmi.c int kgdb_unregister_nmi_console(void)
kgdb_unregister_nmi_console  300 include/linux/kgdb.h static inline int kgdb_unregister_nmi_console(void) { return 0; }