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) {