pub type zx_processor_power_level_options_t = u64;