/* Inputs : str - unused, ints - array of integer parameters with ints equal to the number of ints.  */
void __init t128_setup(char *str, int *ints)
/* Inputs : str - unused, ints - array of integer parameters with ints equal to the number of ints.  */
void __init t128_setup(char *str, int *ints)
{
	    overrides[commandline_current].address = ints[1];
	    overrides[commandline_current].irq = ints[2];
	    for (i = 0; i < NO_BASES; ++i)
		if (bases[i].address == ints[1]) {
		    bases[i].noauto = 1;
		    break;
		}
	    ++commandline_current;
	}
}