Constant ZX_SYSTEM_POWERCTL_ACK_KERNEL_INITIATED_REBOOT 

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