Lines Matching full:hpet
9 #include <asm/hpet.h>
191 * hpet address assignation and irq setting should be done in bios.
207 /* set hpet base address */ in hpet_setup()
210 /* enable decoding of access to HPET MMIO*/ in hpet_setup()
213 /* HPET irq enable */ in hpet_setup()
228 cd->name = "hpet"; in setup_hpet_timer()
245 if (request_irq(HPET_T0_IRQ, hpet_irq_handler, flags, "hpet", NULL)) in setup_hpet_timer()
246 pr_err("Failed to request irq %d (hpet)\n", HPET_T0_IRQ); in setup_hpet_timer()
247 pr_info("hpet clock event device register\n"); in setup_hpet_timer()
266 .name = "hpet",
267 /* mips clocksource rating is less than 300, so hpet is better. */