HPET_MEM_WIDTH
ptr = (vm_offset_t)pmap_mapdev(acpi_hpet_res_start, HPET_MEM_WIDTH);
pmap_unmapdev(ptr, HPET_MEM_WIDTH);
acpi_hpet_res_start, HPET_MEM_WIDTH, -1)) {
(uintmax_t)acpi_hpet_res_start, HPET_MEM_WIDTH);
hpet->Address.Address, HPET_MEM_WIDTH, -1)) {
HPET_MEM_WIDTH);
HPET_MEM_WIDTH, HPET_MEM_WIDTH_MIN);