Constant bad64_sys::SystemReg_REG_SCXTNUM_EL3[−][src]

pub const SystemReg_REG_SCXTNUM_EL3: SystemReg = 63111;