public void gpio_irq_connect(uint id, PinName pin, gpio_event handler) { GPIOElement e = findElement(pin); if (e == null) { return; } e.connect(id, handler); }