Symbol: ivhd_completion_wait
sys/dev/acpi/acpidmar.c
2911
ivhd_completion_wait(iommu);
sys/dev/acpi/acpidmar.c
3061
ivhd_completion_wait(iommu);
sys/dev/acpi/acpidmar.c
3067
ivhd_completion_wait(iommu);
sys/dev/acpi/acpidmar.c
364
static void ivhd_completion_wait(struct iommu_softc *);