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