pub const PSCI_CPU_OFF: u32 = 0x84000002;