Constant sel4_sys::invocation_label::TCBSuspend

pub const TCBSuspend: u32 = 12u32;