Constant ZX_INFO_VCPU_FLAG_KICKED 

pub const ZX_INFO_VCPU_FLAG_KICKED: u32 = _ /* 1u32 */;