sel4_config::consts

Constant ARM_TLS_REG

Source 
pub const ARM_TLS_REG: &str = "tpidru";