Constant PSCI_SYSTEM_RESET 

pub const PSCI_SYSTEM_RESET: usize = 0x8400_0009;