Searched refs:iommu_dev (Results 1 – 2 of 2) sorted by relevance
252 device_t iommu_dev; in iommu_get_ctx_ofw() local285 iommu_dev = OF_device_from_xref(parent); in iommu_get_ctx_ofw()286 if (iommu_dev == NULL) { in iommu_get_ctx_ofw()291 iommu = iommu_lookup(iommu_dev); in iommu_get_ctx_ofw()
758 device_t iommu_dev; in iommu_device_set_iommu_prop() local762 error = device_get_prop(dev, DEV_PROP_NAME_IOMMU, (void **)&iommu_dev); in iommu_device_set_iommu_prop()