Symbol: PSCI_FNID_MIGRATE
sys/dev/psci/psci.h
86
#define PSCI_FNID_MIGRATE 0xc4000005
sys/dev/psci/psci.h
98
#define PSCI_FNID_MIGRATE 0x84000005