Constant sel4_common::registers::msgInfoRegister

source · 
pub const msgInfoRegister: usize = 10;