Constant IRQ_ETS_FROM_CPU_INTR3 

pub const IRQ_ETS_FROM_CPU_INTR3: u32 = 53;