Searched refs:hpet_get_uid (Results 1 – 4 of 4) sorted by relevance
535 uint32_t hpet_get_uid(device_t dev);
337 hpet_get_uid(device_t dev) in hpet_get_uid() function
1016 hpet_no = hpet_get_uid(hpet); in amdiommu_find_unit_for_hpet()
869 unit = dmar_find_nonpci(hpet_get_uid(dev), ACPI_DMAR_SCOPE_TYPE_HPET, in dmar_find_hpet()