PITLDVAL           60 drivers/clocksource/timer-vf-pit.c 	__raw_writel(~0UL, clksrc_base + PITLDVAL);
PITLDVAL           79 drivers/clocksource/timer-vf-pit.c 	__raw_writel(delta - 1, clkevt_base + PITLDVAL);