linux_raw_sys::errno

Constant EL2HLT

Source 
pub const EL2HLT: u32 = 51;