ivhd_show_event
void ivhd_show_event(struct iommu_softc *, struct ivhd_event *evt, int);
ivhd_show_event(iommu, iommu->evt_tbl + head, head);