Symbol: kgdboc_option_setup
drivers/tty/serial/kgdboc.c
450
__setup("kgdboc=", kgdboc_option_setup);
drivers/tty/serial/kgdboc.c
456
kgdboc_option_setup(opt);