Constant sel4_sys::invocation_label::TCBBindNotification

pub const TCBBindNotification: u32 = 14u32;