Index: firmware/App/Services/FpgaDD.h
===================================================================
diff -u -r84b30e2da7c4374d06ef068d3cb2b5c0c4fabccd -r43c231c0f9a56e2481f94cdbc51f45ef1af23c46
--- firmware/App/Services/FpgaDD.h	(.../FpgaDD.h)	(revision 84b30e2da7c4374d06ef068d3cb2b5c0c4fabccd)
+++ firmware/App/Services/FpgaDD.h	(.../FpgaDD.h)	(revision 43c231c0f9a56e2481f94cdbc51f45ef1af23c46)
@@ -127,7 +127,7 @@
 U32 getFPGAD74CondCalData( void );
 U08 getFPGAD74CalMemCounter( void );
 
-// Pumps  (Dosing and Gear pumps )
+// Pumps  ( Dosing and Gear pumps )
 void setFPGAD11PumpSetStepSpeed( U32 stepSpeed );
 void setFPGAD10PumpSetStepSpeed( U32 stepSpeed );
 void setFPGAD76PumpSetStepSpeed( U32 stepSpeed );
@@ -162,6 +162,7 @@
 U32 getFPGAD11PumpRevolutionCountStatus( void );
 U32 getFPGAD10PumpRevolutionCountStatus( void );
 U32 getFPGAD76PumpRevolutionCountStatus( void );
+U32 getFPGAD92PumpHallSenseCount( void );
 
 void setFPGAD48PumpSpeed( U16 speed );
 void setFPGAD12PumpSpeed( U16 speed );