Searched defs:cpu_start_idx (Results 1 – 2 of 2) sorted by relevance
/trusted-firmware-a-latest/lib/psci/ | ||
D | psci_private.h | 125 unsigned int cpu_start_idx; member |
D | psci_common.c | 174 unsigned int cpu_start_idx, ncpus, cpu_idx; in psci_is_last_cpu_to_idle_at_pwrlvl() local |