Index: firmware/App/Services/FpgaRO.h
===================================================================
diff -u -r85a88a4ffdc56784d261ccd2e87d156805666c5d -r0126254993a6cc5023632330f59cb05daf485ebe
--- firmware/App/Services/FpgaRO.h	(.../FpgaRO.h)	(revision 85a88a4ffdc56784d261ccd2e87d156805666c5d)
+++ firmware/App/Services/FpgaRO.h	(.../FpgaRO.h)	(revision 0126254993a6cc5023632330f59cb05daf485ebe)
@@ -149,6 +149,11 @@
 U16  getFPGAP18Temperature( void );
 U32  getFPGAP18Data( void );
 
+void setFPGAP40PumpEnable( BOOL enable );
+void setFPGAP40PumpPWM( U16 pwm );
+U16  getFPGAP40PumpPWM( void );
+U16  getFPGAP40PumpTachCount( void );
+
 /**@}*/
 
 #endif