rustmax::libc

Constant EL3RST

Source 
pub const EL3RST: i32 = 47;