Constant ZBI_KERNEL_DRIVER_ARM_PSCI_CPU_SUSPEND 

pub const ZBI_KERNEL_DRIVER_ARM_PSCI_CPU_SUSPEND: zbi_kernel_driver_t = 1396921168;