sel4_sys::invocation_label

Constant TCBUnbindNotification

Source 
pub const TCBUnbindNotification: u32 = 14u32;