tag	line	file	source code
CyCOR4	1493	drivers/char/cyclades.c	base_addr[CyCOR4<<index] = info->cor4;
CyCOR4	3192	drivers/char/cyclades.c	printk(" CyCOR4 %x\n", base_addr[CyCOR4<<index]);