rustmax::libc

Constant EL2HLT

Source 
pub const EL2HLT: i32 = 51;