pub type zx_processor_power_control_t = u64;