Constant ZBI_KERNEL_DRIVER_ARM_PSCI 

pub const ZBI_KERNEL_DRIVER_ARM_PSCI: zbi_kernel_driver_t = 1229149008;