psci_softc
sizeof(struct psci_softc),
sizeof(struct psci_softc),
struct psci_softc *sc = device_get_softc(dev);
if (psci_softc != NULL)
psci_softc = sc;
_psci_get_version(struct psci_softc *sc)
if (psci_softc == NULL)
return (_psci_get_version(psci_softc));
if (psci_softc == NULL)
if (PSCI_VER_MAJOR(psci_softc->psci_version) < 1)
if (psci_softc != NULL)
fnid = psci_softc->psci_fnids[PSCI_FN_CPU_ON];
if (psci_softc != NULL)
fnid = psci_softc->psci_fnids[PSCI_FN_CPU_OFF];
if (psci_softc == NULL)
fn = psci_softc->psci_fnids[PSCI_FN_SYSTEM_OFF];
if (psci_softc == NULL)
fn = psci_softc->psci_fnids[PSCI_FN_SYSTEM_RESET];
struct psci_softc *sc = device_get_softc(dev);
struct psci_softc *sc = device_get_softc(dev);
struct psci_softc *psci_softc = NULL;