pub const PSCI_CPU_ON_64: u32 = 0xC4000003;