[−][src]Constant linux_sys::EL3RST

pub const EL3RST: u32 = 47;