[−][src]Constant linux_sys::EL2HLT

pub const EL2HLT: u32 = 51;