LPC32XX_TIMER_PR  589 arch/arm/mach-lpc32xx/lpc32xx.h #define LPC32XX_TIMER_PR(x)			io_p2v((x) + 0x0C)
LPC32XX_TIMER_PR   36 drivers/clocksource/timer-lpc32xx.c #define LPC32XX_TIMER_PR		0x00c