taglinefilesource code
CyRDCR708drivers/char/cyclades.cchar_count = base_addr[CyRDCR<<index];
CyRDCR775drivers/char/cyclades.cchar_count = base_addr[CyRDCR<<index];
CyRDCR3200drivers/char/cyclades.cprintk(" CyRDCR %x\n", base_addr[CyRDCR<<index]);