ivhd_event
void ivhd_show_event(struct iommu_softc *, struct ivhd_event *evt, int);
ivhd_show_event(struct iommu_softc *iommu, struct ivhd_event *evt, int head)
sz = sizeof(struct ivhd_event);