pub const PSCI_SYSTEM_RESET2_64: u32 = 0xC4000012;