Type Alias zx_vcpu_option_t

pub type zx_vcpu_option_t = u32;