PITCVAL            53 drivers/clocksource/timer-vf-pit.c 	return ~__raw_readl(clksrc_base + PITCVAL);
PITCVAL            64 drivers/clocksource/timer-vf-pit.c 	return clocksource_mmio_init(clksrc_base + PITCVAL, "vf-pit", rate,