PITTFLG            48 drivers/clocksource/timer-vf-pit.c 	__raw_writel(PITTFLG_TIF, clkevt_base + PITTFLG);
PITTFLG           136 drivers/clocksource/timer-vf-pit.c 	__raw_writel(PITTFLG_TIF, clkevt_base + PITTFLG);