Constant sel4_sys::invocation_label::CNodeSaveCaller

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