/* Find the next available board number that is free.  */
static int __devinit stl_getbrdnr(void)
/* Find the next available board number that is free.  */
static int __devinit stl_getbrdnr(void)
{
	unsigned int i;
	for (i = 0; i < STL_MAXBRDS; i++)
		if (stl_brds[i] == NULL) {
			if (i >= stl_nrbrds)
				stl_nrbrds = i + 1;
			return i;
		}
	return -1;
}