Constant sel4_common::registers::badgeRegister

source · 
pub const badgeRegister: usize = 9;