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