Constant sel4_sys::invocation_label::CNodeDelete

source ยท 
pub const CNodeDelete: u32 = 17u32;