fdf_sys

Type Alias zx_vcpu_state_topic_t

pub type zx_vcpu_state_topic_t = u32;