Constant EL2HLT 

pub const EL2HLT: i32 = 51;