Constant ZBI_KERNEL_DRIVER_ARM_GIC_V3 

pub const ZBI_KERNEL_DRIVER_ARM_GIC_V3: zbi_kernel_driver_t = 860047687;