Constant IRQ_ETS_FROM_CPU_INTR1 

pub const IRQ_ETS_FROM_CPU_INTR1: u32 = 51;