sel4_sys::invocation_label

Constant CNodeRevoke

Source 
pub const CNodeRevoke: u32 = 16u32;