diff --git a/firmware/ice40-riscv/icE1usb/misc.h b/firmware/ice40-riscv/icE1usb/misc.h
index dac5730..b4baef1 100644
--- a/firmware/ice40-riscv/icE1usb/misc.h
+++ b/firmware/ice40-riscv/icE1usb/misc.h
@@ -26,7 +26,10 @@
 
 void pdm_set(int chan, bool enable, unsigned value, bool normalize);
 
+void e1_led_run(void);
+void e1_led_pause(void);
 void e1_led_set(bool enable, uint8_t cfg);
+
 uint16_t e1_tick_read(int port);
 
 void reboot(int fw);