GPIO/IRQ improvements from Claude

[pistorm] / gpio / gpio.h

diff --git a/gpio/gpio.h b/gpio/gpio.h
index 8110083dcb3d73eceedd42251f7d1a48d0d204f3..3dc09edc11de7fc8ca3e970d87bc1ca23d730847 100644 (file)
--- a/gpio/gpio.h
+++ b/gpio/gpio.h
@@ -88,6 +88,8 @@ void setup_io();
 void gpio_enable_200mhz();
 void gpio_handle_irq();
 
+int gpio_get_irq();
+
 uint32_t read8(uint32_t address);
 void write8(uint32_t address, uint32_t data);