pub type zx_vcpu_option_t = u32;