Constant sel4_sys::seL4_FastMessageRegisters

source · 
pub const seL4_FastMessageRegisters: u32 = 4;