68 ACPI_SERIAL_DECL(hpet, "ACPI HPET support");
72 ACPI_MODULE_NAME("HPET")
124 	.d_name =	"hpet",
280 			printf("HPET interrupt routed to the wrong CPU"  in hpet_intr_single()
411 /* Discover the HPET via the ACPI table of the same name. */
415 	ACPI_TABLE_HPET *hpet;  in hpet_identify()  local
420 	/* Only one HPET device can be added. */  in hpet_identify()
421 	if (devclass_get_device(devclass_find("hpet"), 0))  in hpet_identify()
424 		/* Search for HPET table. */  in hpet_identify()
425 		status = AcpiGetTable(ACPI_SIG_HPET, i, (ACPI_TABLE_HEADER **)&hpet);  in hpet_identify()
428 		/* Search for HPET device with same ID. */  in hpet_identify()
431 		    100, hpet_find, NULL, (void *)(uintptr_t)hpet->Sequence,  in hpet_identify()
438 				    hpet->Address.Address, HPET_MEM_WIDTH);  in hpet_identify()
442 		child = BUS_ADD_CHILD(parent, 2, "hpet", 0);  in hpet_identify()
447 		bus_set_resource(child, SYS_RES_MEMORY, 0, hpet->Address.Address,  in hpet_identify()
458 	if (acpi_disabled("hpet") || acpi_hpet_disabled)  in hpet_probe()
521 	 * ATI/AMD violates IA-PC HPET (High Precision Event Timers)  in hpet_attach()
580 		device_printf(dev, "HPET never increments, disabling\n");  in hpet_attach()
585 	/* Announce first HPET as timecounter. */  in hpet_attach()
589 		sc->tc.tc_name = "HPET",  in hpet_attach()
630 	 * problems. For some reason, using HPET interrupts breaks HDA sound.  in hpet_attach()
643 	 * The only way to use HPET there is to specify IRQs manually  in hpet_attach()
791 			t->et.et_name = "HPET";  in hpet_attach()
793 			sprintf(t->name, "HPET%d", maxhpetet);  in hpet_attach()
825 	error = make_dev_s(&mda, &sc->pdev, "hpet%d", device_get_unit(dev));  in hpet_attach()
828 		TUNABLE_INT_FETCH("hw.acpi.hpet.mmap_allow",  in hpet_attach()
831 		TUNABLE_INT_FETCH("hw.acpi.hpet.mmap_allow_write",  in hpet_attach()
837 		    "Allow userland to memory map HPET");  in hpet_attach()
842 		    "Allow userland write to the HPET register space");  in hpet_attach()
844 		device_printf(dev, "could not create /dev/hpet%d, error %d\n",  in hpet_attach()
1004 	"hpet",
1009 DRIVER_MODULE(hpet, acpi, hpet_driver, 0, 0);
1010 MODULE_DEPEND(hpet, acpi, 1, 1, 1);