Home
last modified time | relevance | path

Searched refs:psci_arch_setup (Results 1 – 3 of 3) sorted by relevance

/trusted-firmware-a-3.7.0/lib/psci/
Dpsci_setup.c209 psci_arch_setup(); in psci_setup()
288 void psci_arch_setup(void) in psci_arch_setup() function
Dpsci_on.c193 psci_arch_setup(); in psci_cpu_on_finish()
/trusted-firmware-a-3.7.0/include/lib/psci/
Dpsci.h380 void psci_arch_setup(void);