Constant sel4_sys::invocation_label::TCBSuspend

pub const TCBSuspend: u32 = 11u32;