taglinefilesource code
CyTCOR1487drivers/char/cyclades.cbase_addr[CyTCOR<<index] = info->tco;
CyTCOR3216drivers/char/cyclades.cprintk(" CyTCOR %x\n", base_addr[CyTCOR<<index]);