sel4_config::consts

Constant ARM_TLS_REG_TPIDRURO

Source 
pub const ARM_TLS_REG_TPIDRURO: bool = false;