Constant sel4::NUM_MESSAGE_REGISTERS
source · pub const NUM_MESSAGE_REGISTERS: usize = _; // 120usizeExpand description
Number of message registers in the IPC buffer.
pub const NUM_MESSAGE_REGISTERS: usize = _; // 120usizeNumber of message registers in the IPC buffer.