Searched refs:psci_setup (Results 1 – 4 of 4) sorted by relevance
50 return psci_setup(); in std_svc_setup()
52 services/std_svc/psci/psci_setup.c \
253 int32_t psci_setup(void);
314 int32_t psci_setup(void) in psci_setup() function