Searched refs:ti_sci_device_idle (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/drivers/ti/ti_sci/ | ||
| H A D | ti_sci.h | 89 int ti_sci_device_idle(uint32_t id); |
| H A D | ti_sci.c | 408 int ti_sci_device_idle(uint32_t id) in ti_sci_device_idle() function |