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: is gpio_set_intr_type(pinX, GPIO_INTR_DISABLE); enough ...