public void gpio_irq_disconnect(uint id)
        {
            GPIOElement e = findElementById(id);

            if (e == null)
            {
                return;
            }
            e.disconnect();
        }