/* Setup function invoked at boot to parse the ncr53c400a= command line.  */
static int __init do_NCR53C400A_setup(char *str)
/* Setup function invoked at boot to parse the ncr53c400a= command line.  */
static int __init do_NCR53C400A_setup(char *str)
{
	int ints[10];
	get_options(str, ARRAY_SIZE(ints), ints);
	internal_setup(BOARD_NCR53C400A, str, ints);
	return 1;
}