Constant sel4_common::registers::n_msgRegisters

source · 
pub const n_msgRegisters: usize = 4;