static int cx88_risc_decode(u32 risc) 
int cx88_risc_decode(u32 risc) 
static int cx88_risc_decode(u32 risc){	static char *instr[16] = {		[ RISC_SYNC    >> 28 ] = "sync",		[ RISC_WRITE   >> 28 ] = "write",		[ RISC_WRITEC  >> 28 ] = "writec",		[ RISC_READ    >> 28 ] = "read",		[ RISC_READC   >> 28 ] = "readc",		[ RISC_JUMP    >> 28 ] = "jump",		[ RISC_SKIP    >> 28 ] = "skip",		[ RISC_WRITERM >> 28 ] = "writerm",		[ RISC_WRITECM >> 28 ] = "writecm",		[ RISC_WRITECR >> 28 ] = "writecr",	};	static int incr[16] = {		[ RISC_WRITE   >> 28 ] = 2,		[ RISC_JUMP    >> 28 ] = 2,		[ RISC_WRITERM >> 28 ] = 3,		[ RISC_WRITECM >> 28 ] = 3,		[ RISC_WRITECR >> 28 ] = 4,	};	static char *bits[] = {		"12",   "13",   "14",   "resync",		"cnt0", "cnt1", "18",   "19",		"20",   "21",   "22",   "23",		"irq1", "irq2", "eol",  "sol",	};	int i;	printk("0x%08x [ %s", risc,	       instr[risc >> 28] ? instr[risc >> 28] : "INVALID");	for (i = ARRAY_SIZE(bits)-1; i >= 0; i--)		if (risc & (1 << (i + 12)))			printk(" %s",bits[i]);	printk(" count=%d ]\n", risc & 0xfff);	return incr[risc >> 28] ? incr[risc >> 28] : 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b45009b0288a96a3458f4f8e93cb776678d41875/cx88-core.c/buggy/drivers/media/video/cx88/cx88-core.c