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