Constant ZX_DEFAULT_INTERRUPT_RIGHTS 

pub const ZX_DEFAULT_INTERRUPT_RIGHTS: u32 = _ /* 53_263u32 */;