kgdboc_use_kms     37 drivers/tty/serial/kgdboc.c static int kgdboc_use_kms;  /* 1 if we use kernel mode switching */
kgdboc_use_kms    159 drivers/tty/serial/kgdboc.c 	kgdboc_use_kms = 0;
kgdboc_use_kms    162 drivers/tty/serial/kgdboc.c 		kgdboc_use_kms = 1;
kgdboc_use_kms    273 drivers/tty/serial/kgdboc.c 	if (!dbg_restore_graphics && kgdboc_use_kms) {
kgdboc_use_kms    291 drivers/tty/serial/kgdboc.c 	if (kgdboc_use_kms && dbg_restore_graphics) {