Type Alias zx_vcpu_state_topic_t 

pub type zx_vcpu_state_topic_t = u32;