pub const PSCI_NODE_HW_STATE_32: u32 = 0x8400000D;