CNodeDelete

sel4_sys::invocation_label

Constant CNodeDelete 

Source 
pub const CNodeDelete: u32 = 19u32;