gpio_set_intr_type(pinX, GPIO_INTR_DISABLE) vs. gpio_intr...
Assunming the gpio_set_intr_type() was set for any interrupt type other than GPIO_INTR_DISABLE and the interrupt was enabled for a pin in interest. Now if I want to disable (temporary) the interrupt on this pin: