taglinefilesource code
CyPPR2411drivers/char/cyclades.cbase_addr[CyPPR] = CyCLOCK_25_1MS * 5; /* run clock at 200 Hz */
CyPPR2655drivers/char/cyclades.cprintk(" CyPPR %x\n", base_addr[CyPPR]);