Symbol: acpiivhd_intr
sys/dev/acpi/acpidmar.c
2687
int acpiivhd_intr(void *);
sys/dev/acpi/acpidmar.c
2711
acpiivhd_intr, iommu, "amd_iommu");
sys/dev/acpi/acpidmar.c
305
int acpiivhd_intr(void *);