device_set_prop
int device_set_prop(device_t dev, const char *name, void *val,
device_set_prop(dev, device_get_nameunit(unit->iommu.dev),
device_set_prop(dev, DEV_PROP_NAME_IOMMU, iommu, NULL, NULL);