Constant sel4_sys::invocation_label::CNodeCancelBadgedSends

pub const CNodeCancelBadgedSends: u32 = 19u32;