Constant ZBI_KERNEL_DRIVER_DW8250_UART 

pub const ZBI_KERNEL_DRIVER_DW8250_UART: zbi_kernel_driver_t = 1146566741;