Constant sel4_sys::invocation_label::TCBUnbindNotification

pub const TCBUnbindNotification: u32 = 15u32;