[−][src]Constant linux_sys::EL3HLT

pub const EL3HLT: u32 = 46;