sel4_config::consts

Constant ARM_TLS_REG_TPIDRU

Source 
pub const ARM_TLS_REG_TPIDRU: bool = true;