ACPI high precision event
acpihpet* at acpi?
acpihpet driver provides support for
the high precision event timer to be used as a timecounter for the
acpi(4), intro(4), tc_init(9)
acpihpet driver first appeared in
acpihpet driver was written by