taglinefilesource code
CyCOR41443drivers/char/cyclades.cbase_addr[CyCOR4] = info->cor4;
CyCOR42920drivers/char/cyclades.cprintk(" CyCOR4 %x\n", base_addr[CyCOR4]);