Symbol: smccc_init
sys/dev/psci/psci.c
351
smccc_init();
sys/dev/psci/smccc.h
84
void smccc_init(void);