pub type zx_vcpu_state_topic_t = u32;