Constant ZBI_KERNEL_DRIVER_GENERIC32_WATCHDOG 

pub const ZBI_KERNEL_DRIVER_GENERIC32_WATCHDOG: zbi_kernel_driver_t = 842220631;