Searched refs:ti_sci_device_put (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/plat-k3/drivers/ | ||
| H A D | ti_sci.h | 41 int ti_sci_device_put(uint32_t id); |
| H A D | ti_sci.c | 199 int ti_sci_device_put(uint32_t id) in ti_sci_device_put() function |