pub const PSCI_NODE_HW_STATE_64: u32 = 0xC400000D;