hpet_get_uid
uint32_t hpet_get_uid(device_t dev);
hpet_no = hpet_get_uid(hpet);
unit = dmar_find_nonpci(hpet_get_uid(dev), ACPI_DMAR_SCOPE_TYPE_HPET,