diff --git a/firmware/ice40-riscv/icE1usb/misc.h b/firmware/ice40-riscv/icE1usb/misc.h
index b4baef1..76d5a7d 100644
--- a/firmware/ice40-riscv/icE1usb/misc.h
+++ b/firmware/ice40-riscv/icE1usb/misc.h
@@ -26,6 +26,10 @@
 
 void pdm_set(int chan, bool enable, unsigned value, bool normalize);
 
+void gpio_dir(int n, bool output);
+void gpio_out(int n, bool val);
+bool gpio_in(int n);
+
 void e1_led_run(void);
 void e1_led_pause(void);
 void e1_led_set(bool enable, uint8_t cfg);