Symbol: acpiivhd_activate
sys/dev/acpi/acpidmar.c
3507
acpiivhd_activate(iommu, act);
sys/dev/acpi/acpidmar.c
3530
acpiivhd_activate(iommu, act);