Constant ZBI_KERNEL_DRIVER_RISCV_PLIC 

pub const ZBI_KERNEL_DRIVER_RISCV_PLIC: zbi_kernel_driver_t = 1128877136;