taglinefilesource code
CyCOR31364drivers/char/cyclades.cbase_addr[CyCOR3] = info->cor3;
CyCOR32671drivers/char/cyclades.cprintk(" CyCOR3 %x\n", base_addr[CyCOR3]);