Constant ZBI_ARM_SMMU_IRQ_FLAGS_ACTIVE_HIGH 

pub const ZBI_ARM_SMMU_IRQ_FLAGS_ACTIVE_HIGH: zbi_arm_smmu_irq_flags_t = 4;