Constant sel4_config::consts::SMMU_INTERRUPT_ENABLE

pub const SMMU_INTERRUPT_ENABLE: bool = false;