kgdb_register_nmi_console  362 drivers/tty/serial/kgdb_nmi.c EXPORT_SYMBOL_GPL(kgdb_register_nmi_console);
kgdb_register_nmi_console  191 drivers/tty/serial/kgdboc.c 	err = kgdb_register_nmi_console();
kgdb_register_nmi_console  295 include/linux/kgdb.h extern int kgdb_register_nmi_console(void);