Constant sel4_sys::invocation_label::CNodeRevoke

pub const CNodeRevoke: u32 = 17u32;