Constant sel4_sys::invocation_label::TCBSetTLSBase

pub const TCBSetTLSBase: u32 = 15u32;