int sReadAiopNumChan(WordIO_t io) 
static int sReadAiopNumChan(WordIO_t io) 
int sReadAiopNumChan(WordIO_t io){	Word_t x;	static Byte_t R[4] = { 0x00, 0x00, 0x34, 0x12 };	/* write to chan 0 SRAM */	sOutDW((DWordIO_t) io + _INDX_ADDR, *((DWord_t *) & R[0]));	sOutW(io + _INDX_ADDR, 0);	/* read from SRAM, chan 0 */	x = sInW(io + _INDX_DATA);	sOutW(io + _INDX_ADDR, 0x4000);	/* read from SRAM, chan 4 */	if (x != sInW(io + _INDX_DATA))	/* if different must be 8 chan */		return (8);	else		return (4);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f15313bf42337ade55376303932d8b6a62e6be43/rocket.c/buggy/drivers/char/rocket.c