PSCI_FUNC_MAX
for (int i = 0; i < PSCI_FUNC_MAX; i++)
static uint32_t psci_functions[PSCI_FUNC_MAX] = {