Symbol: byt_gpio_direct_irq_check