Constant ZBI_KERNEL_DRIVER_SMMU_MAX_HANDOFF_SMRS 

pub const ZBI_KERNEL_DRIVER_SMMU_MAX_HANDOFF_SMRS: u32 = 16;