pub const PSCI_MIGRATE_32: u32 = 0x84000005;