taglinefilesource code
CyGCR2733drivers/char/cyclades.cbase_addr[CyGCR<<index] = CyCH0_SERIAL;
CyGCR3166drivers/char/cyclades.cprintk(" CyGCR %x\n", base_addr[CyGCR<<index]);