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