Constant sel4_config::consts::SET_TLS_BASE_SELF

pub const SET_TLS_BASE_SELF: bool = false;