taglinefilesource code
CyGCR2668drivers/char/cyclades.cbase_addr[CyGCR] = CyCH0_SERIAL;
CyGCR2908drivers/char/cyclades.cprintk(" CyGCR %x\n", base_addr[CyGCR]);