Index: firmware/App/Services/FPGA.h
===================================================================
diff -u -r9b262ba08e3180f121c3cf19d8d25e565183f87d -r4ebc1f7e1aeb3a332e91fcdd1bbbe1a01873d93a
--- firmware/App/Services/FPGA.h	(.../FPGA.h)	(revision 9b262ba08e3180f121c3cf19d8d25e565183f87d)
+++ firmware/App/Services/FPGA.h	(.../FPGA.h)	(revision 4ebc1f7e1aeb3a332e91fcdd1bbbe1a01873d93a)
@@ -20,6 +20,16 @@
 #include "HDCommon.h"
 #include "Interrupts.h"
 
+/**
+ *  @defgroup FPGA FPGA
+ *  @brief FPGA service module.
+ *  Maintains latest sensor readings at priority task interval.  Updates actuator
+ *  states at priority task interval.
+ *
+ *  @addtogroup FPGA
+ *  @{
+ */
+
 // ********** public definitions **********
 
 // ********** public function prototypes **********
@@ -34,12 +44,23 @@
 
 U16 getFPGAStatus( void );
 void setFPGAControl( U16 ctrl );
+
 F32 getFPGABloodFlow( void );
 F32 getFPGADialysateFlow( void );
+
+U16 getFPGABloodPumpHallSensorCount( void );
+U08 getFPGABloodPumpHallSensorStatus( void );
+U16 getFPGADialInPumpHallSensorCount( void );
+U08 getFPGADialInPumpHallSensorStatus( void );
+U16 getFPGADialOutPumpHallSensorCount( void );
+U08 getFPGADialOutPumpHallSensorStatus( void );
+
 U16 getFPGAArterialPressure( void );
 U16 getFPGAVenousPressure( void );
 U16 getFPGABloodPumpOcclusion( void );
 U16 getFPGADialInPumpOcclusion( void );
 U16 getFPGADialOutPumpOcclusion( void );
 
+/**@}*/
+
 #endif