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);