aarch64defs::psci

Constant PSCI

Source 
pub const PSCI: u8 = 0x4;