Searched refs:device_ref (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/include/kernel/ |
| H A D | dt_driver.h | 120 void *device_ref);
162 void *device_ref);
182 void *device_ref);
199 void *device_ref);
|
| /optee_os/core/kernel/ |
| H A D | dt_driver.c | 261 void *device_ref, int consumer_node) in device_from_provider_prop() argument
281 res = prv->get_of_device(pargs, prv->priv_data, device_ref); in device_from_provider_prop()
290 void *device_ref) in dt_driver_device_from_parent() argument
307 return device_from_provider_prop(prv, fdt, parent, NULL, device_ref, in dt_driver_device_from_parent()
317 void *device_ref) in dt_driver_device_from_node_idx_prop_phandle() argument
347 prop + prop_index, device_ref, in dt_driver_device_from_node_idx_prop_phandle()
355 void *device_ref) in dt_driver_device_from_node_idx_prop() argument
446 prop + idx32, device_ref, in dt_driver_device_from_node_idx_prop()
|