kgdb_unregister_nmi_console  383 drivers/tty/serial/kgdb_nmi.c EXPORT_SYMBOL_GPL(kgdb_unregister_nmi_console);
kgdb_unregister_nmi_console  136 drivers/tty/serial/kgdboc.c 	if (kgdb_unregister_nmi_console())
kgdb_unregister_nmi_console  296 include/linux/kgdb.h extern int kgdb_unregister_nmi_console(void);