psci_fn
int psci_fn;
for (psci_fn = PSCI_FN_VERSION, psci_fnid = PSCI_FNID_VERSION;
psci_fn < PSCI_FN_MAX; psci_fn++, psci_fnid++)
sc->psci_fnids[psci_fn] = 0;