Home
last modified time | relevance | path

Searched refs:ti_sci_device_get (Results 1 – 4 of 4) sorted by relevance

/rk3399_ARM-atf/plat/ti/k3/common/
H A Dk3_bl31_setup.c58 if (ti_sci_device_get(PLAT_BOARD_DEVICE_ID)) { in ti_soc_init()
H A Dk3_psci.c78 ret = ti_sci_device_get(device_id); in k3_pwr_domain_on()
109 ret = ti_sci_device_get(cluster_id); in k3_pwr_domain_off()
/rk3399_ARM-atf/drivers/ti/ti_sci/
H A Dti_sci.h88 int ti_sci_device_get(uint32_t id);
H A Dti_sci.c396 int ti_sci_device_get(uint32_t id) in ti_sci_device_get() function