Searched refs:device_get_prop (Results 1 – 3 of 3) sorted by relevance
768 error = device_get_prop(dev, DEV_PROP_NAME_IOMMU, (void **)&iommu_dev); in iommu_device_set_iommu_prop()
897 int device_get_prop(device_t dev, const char *name, void **valp);
305 error = device_get_prop(dev, DEV_PROP_NAME_IOMMU, in device_sysctl_handler()6111 device_get_prop(device_t dev, const char *name, void **valp) in device_get_prop() function