Index: firmware/App/Services/WatchdogMgmt.c
===================================================================
diff -u -r19a8bf98a7154e24c35da25225d4b55bf70ddd09 -r2140a55e7bba381ec3b62aa2af47b967c8adaa31
--- firmware/App/Services/WatchdogMgmt.c	(.../WatchdogMgmt.c)	(revision 19a8bf98a7154e24c35da25225d4b55bf70ddd09)
+++ firmware/App/Services/WatchdogMgmt.c	(.../WatchdogMgmt.c)	(revision 2140a55e7bba381ec3b62aa2af47b967c8adaa31)
@@ -52,14 +52,12 @@
 
 // ********** private data **********
 
-static U32  lastWatchdogPetTime = 0;                                                        ///< Timestamp (ms counter) since last watchdog pet.
+static U32 lastWatchdogPetTime;                                                             ///< Timestamp (ms counter) since last watchdog pet.
+static OVERRIDE_U32_T watchdogTaskCheckedIn[ NUM_OF_TASKS ];                                ///< Array of flags indicating whether individual tasks have checked in with watchdog manager.
+static WATCHDOG_SELF_TEST_STATE_T watchdogSelfTestState;                                    ///< Current watchdog self-test state.
+static SELF_TEST_STATUS_T watchdogSelfTestStatus;                                           ///< Watchdog self-test state timer counter.
+static U32 watchdogSelfTestTimerCount;
 
-static OVERRIDE_U32_T watchdogTaskCheckedIn[ NUM_OF_TASKS ];                                ///< Array of flags indicating whether individual tasks have checked in with watchdog manager.
-
-static WATCHDOG_SELF_TEST_STATE_T watchdogSelfTestState = WATCHDOG_SELF_TEST_STATE_START;   ///< Current watchdog self-test state.
-static SELF_TEST_STATUS_T         watchdogSelfTestStatus;                                   ///< Watchdog self-test state timer counter.
-static U32 watchdogSelfTestTimerCount = 0;
-
 // ********** private function prototypes **********
 
 static void resetWDTaskCheckIns( void );
@@ -78,17 +76,18 @@
 {
     U32 i;
 
-    lastWatchdogPetTime = 0;
-    watchdogSelfTestState = WATCHDOG_SELF_TEST_STATE_START;
-    watchdogSelfTestStatus = SELF_TEST_STATUS_IN_PROGRESS;
-    watchdogSelfTestTimerCount = 0;
+    lastWatchdogPetTime        = 0;
+    watchdogSelfTestState      = WATCHDOG_SELF_TEST_STATE_START;
+    watchdogSelfTestStatus     = SELF_TEST_STATUS_IN_PROGRESS;
+    watchdogSelfTestTimerCount = 0;
+
     // Initialize task check-ins to false
     for ( i = 0; i < NUM_OF_TASKS; i++ )
     {
-        watchdogTaskCheckedIn[ i ].data = FALSE;
-        watchdogTaskCheckedIn[ i ].ovData = FALSE;
+        watchdogTaskCheckedIn[ i ].data       = FALSE;
+        watchdogTaskCheckedIn[ i ].ovData     = FALSE;
         watchdogTaskCheckedIn[ i ].ovInitData = FALSE;
-        watchdogTaskCheckedIn[ i ].override = OVERRIDE_RESET;
+        watchdogTaskCheckedIn[ i ].override   = OVERRIDE_RESET;
     }
 }
 
@@ -180,7 +179,7 @@
                 // Verify 24V is down when w.d. expired
                 if ( v24 > MAX_24V_LEVEL_ON_WATCHDOG_EXPIRED )
                 {
-                    SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 2.0, v24 );
+                    SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 2.0F, v24 );
                     watchdogSelfTestStatus = SELF_TEST_STATUS_FAILED;
                 }
                 // Verify backup alarm audio is on when w.d. expired
@@ -190,7 +189,7 @@
                     if ( getSoftwareConfigStatus( SW_CONFIG_DISABLE_ALARM_AUDIO ) != SW_CONFIG_ENABLE_VALUE )
 #endif
                     {
-                        SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 3.0, audioCurrent );
+                        SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 3.0F, audioCurrent );
                         watchdogSelfTestStatus = SELF_TEST_STATUS_FAILED;
                     }
                 }
@@ -215,7 +214,7 @@
                     // Verify 24V is down when w.d. recovered
                     if ( v24 < MIN_24V_LEVEL_ON_WATCHDOG_RECOVER )
                     {
-                        SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 4.0, v24 );
+                        SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 4.0F, v24 );
                         watchdogSelfTestStatus = SELF_TEST_STATUS_FAILED;
                     }
                     // Verify backup alarm audio is on when w.d. recovered
@@ -225,7 +224,7 @@
                         if ( getSoftwareConfigStatus( SW_CONFIG_DISABLE_ALARM_AUDIO ) != SW_CONFIG_ENABLE_VALUE )
 #endif
                         {
-                            SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 5.0, audioCurrent );
+                            SET_ALARM_WITH_2_F32_DATA( ALARM_ID_HD_WATCHDOG_POST_TEST_FAILED, 5.0F, audioCurrent );
                             watchdogSelfTestStatus = SELF_TEST_STATUS_FAILED;
                         }
                     }