Constant esp_idf_sys::ETS_IPC_ISR_INUM

pub const ETS_IPC_ISR_INUM: u32 = 31;