/* In case the GCT is not complete, let the user specify PIDs with IO7s at boot time. Syntax is 'io7=a,b,c,...,n' where a-n are the PIDs (decimal) where IO7s are connected  */
static int __init marvel_specify_io7(char *str)
/* In case the GCT is not complete, let the user specify PIDs with IO7s at boot time. Syntax is 'io7=a,b,c,...,n' where a-n are the PIDs (decimal) where IO7s are connected  */
static int __init marvel_specify_io7(char *str)
{
	unsigned long pid;
	struct io7 *io7;
	char *pchar;
	do {
		pid = simple_strtoul(str, &pchar, 0);
		if (pchar != str) {
			printk("User-specified IO7 at PID %lu\n", pid);
			io7 = alloc_io7(pid);
			if (io7) marvel_init_io7(io7);
		}
		if (pchar == str) pchar++;
		str = pchar;
	} while(*str);
	return 1;
}