esp32_c3::interrupts

Constant IRQ_GPIO_NMI

Source 
pub const IRQ_GPIO_NMI: u32 = 17;