122 static void __init internal_setup(int board, char *str, int *ints)  in internal_setup()  argument
173 static int __init do_NCR5380_setup(char *str)  in do_NCR5380_setup()  argument
177 	get_options(str, ARRAY_SIZE(ints), ints);  in do_NCR5380_setup()
178 	internal_setup(BOARD_NCR5380, str, ints);  in do_NCR5380_setup()
191 static int __init do_NCR53C400_setup(char *str)  in do_NCR53C400_setup()  argument
195 	get_options(str, ARRAY_SIZE(ints), ints);  in do_NCR53C400_setup()
196 	internal_setup(BOARD_NCR53C400, str, ints);  in do_NCR53C400_setup()
209 static int __init do_NCR53C400A_setup(char *str)  in do_NCR53C400A_setup()  argument
213 	get_options(str, ARRAY_SIZE(ints), ints);  in do_NCR53C400A_setup()
214 	internal_setup(BOARD_NCR53C400A, str, ints);  in do_NCR53C400A_setup()
227 static int __init do_DTC3181E_setup(char *str)  in do_DTC3181E_setup()  argument
231 	get_options(str, ARRAY_SIZE(ints), ints);  in do_DTC3181E_setup()
232 	internal_setup(BOARD_DTC3181E, str, ints);  in do_DTC3181E_setup()