Searched defs:cpu_start_idx (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/lib/psci/ | ||
| H A D | psci_private.h | 126 unsigned int cpu_start_idx; member |
| H A D | psci_common.c | 181 unsigned int cpu_start_idx, ncpus, cpu_idx; in psci_is_last_cpu_to_idle_at_pwrlvl() local |