Type Alias fdf_sys::zx_vcpu_option_t

pub type zx_vcpu_option_t = u32;