Constant sel4_sys::invocation_label::TCBResume

pub const TCBResume: u32 = 13u32;