Constant ZX_DEFAULT_VCPU_RIGHTS 

pub const ZX_DEFAULT_VCPU_RIGHTS: u32 = _ /* 53_279u32 */;