pub const PSCI_CPU_ON_32: u32 = 0x84000003;