sel4_sys::invocation_label

Constant CNodeDelete

Source 
pub const CNodeDelete: u32 = 18u32;