Constant sel4_sys::invocation_label::TCBConfigure

pub const TCBConfigure: u32 = 5u32;