Constant sel4_config::consts::ARM_SMMU

pub const ARM_SMMU: bool = false;