Constant ZX_SYSTEM_POWERCTL_ACK_KERNEL_INITIATED_REBOOT 

pub const ZX_SYSTEM_POWERCTL_ACK_KERNEL_INITIATED_REBOOT: u32 = 9 /* 9u32 */;