Home
last modified time | relevance | path

Searched defs:cpu_start_idx (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a-latest/lib/psci/
Dpsci_private.h125 unsigned int cpu_start_idx; member
Dpsci_common.c174 unsigned int cpu_start_idx, ncpus, cpu_idx; in psci_is_last_cpu_to_idle_at_pwrlvl() local