Constant ZBI_KERNEL_DRIVER_ARM_GENERIC_TIMER 

pub const ZBI_KERNEL_DRIVER_ARM_GENERIC_TIMER: zbi_kernel_driver_t = 1296651329;