taglinefilesource code
CyCOR21511drivers/char/cyclades.cbase_addr[CyCOR2<<index] = info->cor2;
CyCOR23211drivers/char/cyclades.cprintk(" CyCOR2 %x\n", base_addr[CyCOR2<<index]);