sel4_config::consts

Constant SMMU_INTERRUPT_ENABLE

Source
pub const SMMU_INTERRUPT_ENABLE: bool = false;