diff --git a/firmware/hw_layer/io_pins.h b/firmware/hw_layer/io_pins.h
index 6cff876127..1b84579b55 100644
--- a/firmware/hw_layer/io_pins.h
+++ b/firmware/hw_layer/io_pins.h
@@ -52,8 +52,8 @@
 //	LED_HUGE_20,
 
 #if EFI_GPIO_HARDWARE
-void efiSetPadMode(const char *msg, brain_pin_e pin, iomode_t mode);
-void efiSetPadUnused(brain_pin_e brainPin);
+EXTERNC void efiSetPadMode(const char *msg, brain_pin_e pin, iomode_t mode);
+EXTERNC void efiSetPadUnused(brain_pin_e brainPin);
 
 bool efiReadPin(brain_pin_e pin);