kgdboc_option_setup  323 drivers/tty/serial/kgdboc.c __setup("kgdboc=", kgdboc_option_setup);
kgdboc_option_setup  334 drivers/tty/serial/kgdboc.c 	kgdboc_option_setup(opt);