taglinefilesource code
CyCOR11361drivers/char/cyclades.cbase_addr[CyCOR1] = info->cor1;
CyCOR12668drivers/char/cyclades.cprintk(" CyCOR1 %x\n", base_addr[CyCOR1]);