hpet_mctr          68 drivers/char/hpet.c static void __iomem *hpet_mctr;
hpet_mctr          72 drivers/char/hpet.c 	return (u64)read_counter((void __iomem *)hpet_mctr);
hpet_mctr         948 drivers/char/hpet.c 		hpet_mctr = (void __iomem *)&hpetp->hp_hpet->hpet_mc;
hpet_mctr         949 drivers/char/hpet.c 		clocksource_hpet.archdata.fsys_mmio = hpet_mctr;