Symbol: iommu_device_lookup
sys/dev/ofw/ofw_misc.c
1173
if (iommu_device_lookup(node, &phandle, &cells[0]))
sys/dev/ofw/ofw_misc.h
281
int iommu_device_lookup(int, uint32_t *, uint32_t *);