kgdb_nmi_magic 38 drivers/tty/serial/kgdb_nmi.c static char *kgdb_nmi_magic = "$3#33"; kgdb_nmi_magic 39 drivers/tty/serial/kgdb_nmi.c module_param_named(magic, kgdb_nmi_magic, charp, 0600); kgdb_nmi_magic 119 drivers/tty/serial/kgdb_nmi.c const char *magic = kgdb_nmi_magic;