Symbol: psci_version
sys/dev/fdt/psci.c
134
version = psci_version();
sys/dev/fdt/psci.c
69
uint32_t psci_version(void);