Constant sel4_sys::invocation_label::CNodeSaveCaller

source ยท 
pub const CNodeSaveCaller: u32 = 24u32;