PITTCTRL_TEN       38 drivers/clocksource/timer-vf-pit.c 	__raw_writel(PITTCTRL_TEN | PITTCTRL_TIE, clkevt_base + PITTCTRL);
PITTCTRL_TEN       61 drivers/clocksource/timer-vf-pit.c 	__raw_writel(PITTCTRL_TEN, clksrc_base + PITTCTRL);