esp_idf_sys

Constant ETS_IPC_ISR_INUM

Source 
pub const ETS_IPC_ISR_INUM: u32 = 31;