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