Constant ZBI_KERNEL_DRIVER_ARM_GENERIC_TIMER_MMIO 

pub const ZBI_KERNEL_DRIVER_ARM_GENERIC_TIMER_MMIO: zbi_kernel_driver_t = 1296913473;