Searched refs:ti_sci_device_put (Results 1 – 2 of 2) sorted by relevance
| /trusted-firmware-a-latest/plat/ti/k3/common/drivers/ti_sci/ | ||
| D | ti_sci.h | 56 int ti_sci_device_put(uint32_t id); |
| D | ti_sci.c | 430 int ti_sci_device_put(uint32_t id) in ti_sci_device_put() function |