public void gpio_irq_disconnect(uint id) { GPIOElement e = findElementById(id); if (e == null) { return; } e.disconnect(); }