Constant sel4_common::sel4_config::tcbCaller

source · 
pub const tcbCaller: usize = 3;