Constant ZBI_KERNEL_DRIVER_ARM_GIC_V2 

pub const ZBI_KERNEL_DRIVER_ARM_GIC_V2: zbi_kernel_driver_t = 843270471;