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