Constant sel4_sys::invocation_label::TCBUnbindNotification

pub const TCBUnbindNotification: u32 = 14u32;