sel4_sys::invocation_label

Constant CNodeDelete

Source 
pub const CNodeDelete: u32 = 17u32;