Symbol: device_set_prop
sys/sys/bus.h
1011
int device_set_prop(device_t dev, const char *name, void *val,
sys/x86/iommu/amd_drv.c
855
device_set_prop(dev, device_get_nameunit(unit->iommu.dev),
sys/x86/iommu/iommu_utils.c
764
device_set_prop(dev, DEV_PROP_NAME_IOMMU, iommu, NULL, NULL);