Searched refs:hpet_get_uid (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/dev/acpica/
H A Dacpivar.h447 uint32_t hpet_get_uid(device_t dev);
H A Dacpi_hpet.c336 hpet_get_uid(device_t dev) function
/freebsd-11-stable/sys/x86/iommu/
H A Dintel_drv.c853 return (dmar_find_nonpci(hpet_get_uid(dev), ACPI_DMAR_SCOPE_TYPE_HPET,

Completed in 62 milliseconds