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