PITn_OFFSET       173 drivers/clocksource/timer-vf-pit.c 	clksrc_base = timer_base + PITn_OFFSET(2);
PITn_OFFSET       174 drivers/clocksource/timer-vf-pit.c 	clkevt_base = timer_base + PITn_OFFSET(3);