Constant sel4_sys::invocation_label::CNodeDelete

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