sel4_config::consts

Constant ARM_SMMU

Source 
pub const ARM_SMMU: bool = false;