Type Alias zx_vcpu_option_t 

pub type zx_vcpu_option_t = u32;