sel4_config::consts

Constant SET_TLS_BASE_SELF

Source 
pub const SET_TLS_BASE_SELF: bool = false;