Symbol: ivhd_show_event
sys/dev/acpi/acpidmar.c
2682
void ivhd_show_event(struct iommu_softc *, struct ivhd_event *evt, int);
sys/dev/acpi/acpidmar.c
2859
ivhd_show_event(iommu, iommu->evt_tbl + head, head);