diff --git a/src/rp2_common/hardware_gpio/gpio.c b/src/rp2_common/hardware_gpio/gpio.c index 44c39e9c4..2c4e91d40 100644 --- a/src/rp2_common/hardware_gpio/gpio.c +++ b/src/rp2_common/hardware_gpio/gpio.c @@ -184,12 +184,9 @@ static void _gpio_set_irq_enabled(uint gpio, uint32_t events, bool enabled, io_b } void gpio_set_irq_enabled(uint gpio, uint32_t events, bool enabled) { - // either this call disables the interrupt - // or callback should already be set (raw or using gpio_set_irq_callback) + // either this call disables the interrupt or callback should already be set. // this protects against enabling the interrupt without callback set - assert(!enabled - || (raw_irq_mask[get_core_num()] & (1ull<