kernel/kernel/printk/console_cmdline.h
.. .. @@ -6,6 +6,7 @@ 6 6 { 7 7 char name[16]; /* Name of the driver */ 8 8 int index; /* Minor dev. to use */ 9 + bool user_specified; /* Specified by command line vs. platform */9 10 char *options; /* Options for the driver */ 10 11 #ifdef CONFIG_A11Y_BRAILLE_CONSOLE 11 12 char *brl_options; /* Options for braille driver */