Symbol: PSCI_FNID_SYSTEM_RESET
sys/dev/psci/psci.h
102
#define PSCI_FNID_SYSTEM_RESET 0x84000009
sys/dev/psci/psci.h
90
#define PSCI_FNID_SYSTEM_RESET 0x84000009