Index: firmware/App/Drivers/GPIO.c
===================================================================
diff -u -r3a8cf075eb6f0d255f516ac26bac7fbaacfde14a -r552a7de419344b43a3307c61141c99bfbbee7345
--- firmware/App/Drivers/GPIO.c	(.../GPIO.c)	(revision 3a8cf075eb6f0d255f516ac26bac7fbaacfde14a)
+++ firmware/App/Drivers/GPIO.c	(.../GPIO.c)	(revision 552a7de419344b43a3307c61141c99bfbbee7345)
@@ -50,9 +50,6 @@
 #define SAFE_GIO_PORT_PIN                   2U                          ///< GPIO pin ID on port B for safety shutdown input signal.
 #define SAFETY_GIO_PORT_PIN                 3U                          ///< GPIO pin ID on port B for safety shutdown output signal
 
-// hetPORT1 pin assignments
-#define AIR_PUMP_GPIO_PIN                   4U                          ///< GPIO pin ID on hetPORT1 for air pump motor state.
-
 // MIBSPI5 port pin assignments for pins connected to CPLD
 #define GREEN_SPI5_PORT_MASK                0x00000200                  ///< (CLK     - re-purposed as output GPIO) for green alarm lamp signal.
 #define BLUE_SPI5_PORT_MASK                 0x00000400                  ///< (SIMO[0] - re-purposed as output GPIO) for blue alarm lamp signal.
@@ -358,18 +355,4 @@
     CLR_BACKUP_AUDIO_ENABLE()
 }
 
-/*********************************************************************//**
- * @brief
- * The setAirPumpMotorSignal function sets the air pump output signal to
- * the given pin level.
- * @details \b Inputs: none
- * @details \b Outputs: Air pump output signal set to given level.
- * @param signal Signal level to set the air pump output to
- * @return none
- *************************************************************************/
-void setAirPumpMotorSignal( PIN_SIGNAL_STATE_T signal )
-{
-    gioSetBit( hetPORT1, AIR_PUMP_GPIO_PIN, (U32)signal );
-}
-
 /**@}*/