Constant ZBI_KERNEL_DRIVER_ARM_SMMU 

pub const ZBI_KERNEL_DRIVER_ARM_SMMU: zbi_kernel_driver_t = 1431129425;