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