Symbol: PSCI_FNID_MIGRATE_INFO_UP_CPU
sys/dev/psci/psci.h
100
#define PSCI_FNID_MIGRATE_INFO_UP_CPU 0x84000007
sys/dev/psci/psci.h
88
#define PSCI_FNID_MIGRATE_INFO_UP_CPU 0xc4000007