Constant ZBI_KERNEL_DRIVER_SMMU_MAX_IRQS 

pub const ZBI_KERNEL_DRIVER_SMMU_MAX_IRQS: u32 = 128;