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;