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