_braille_console_setup   12 kernel/printk/braille.c int _braille_console_setup(char **str, char **brl_options)
_braille_console_setup   37 kernel/printk/braille.h _braille_console_setup(char **str, char **brl_options)