taglinefilesource code
CyCOR51470drivers/char/cyclades.cbase_addr[CyCOR5<<index] = info->cor5;
CyCOR53137drivers/char/cyclades.cprintk(" CyCOR5 %x\n", base_addr[CyCOR5<<index]);