pub const PSCI_CPU_FREEZE: u32 = 0x8400000B;