kgdb_register_nmi_console  326 drivers/tty/serial/kgdb_nmi.c int kgdb_register_nmi_console(void)
kgdb_register_nmi_console  299 include/linux/kgdb.h static inline int kgdb_register_nmi_console(void) { return 0; }