Constant sel4_common::registers::n_syscallMessage

source · 
pub const n_syscallMessage: usize = 10;