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