sel4_sys::invocation_label

Constant CNodeCancelBadgedSends

Source 
pub const CNodeCancelBadgedSends: u32 = 18u32;