sel4_sys::invocation_label

Constant TCBUnbindNotification

Source 
pub const TCBUnbindNotification: u32 = 15u32;