ARM_TLS_REG

sel4_config::consts

Constant ARM_TLS_REG 

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