IOMMU support for GICv3 ITS
Submitted by: andrew
Are these still needed?
Yes they are needed for iommu.h
iommu.h is needed for these two: struct iommu_ctx *iommu_get_dev_ctx(device_t dev); struct iommu_domain *iommu_get_ctx_domain(struct iommu_ctx *ctx);
gicv3_iommu_deinit() added