+/**************************************************************************/
+/*!
+ @brief Sets the optional callback function for 32-bit timer 0
+*/
+/**************************************************************************/
+void timer32SetIntHandler(void (*handler)(void))
+{
+ interruptHandler0 = handler;
+}
+
+/**************************************************************************/
+/*!
+ @brief Returns the value of the auto-incrementing timer counter(s)
+*/
+/**************************************************************************/
+uint32_t timer32GetCount(uint8_t timerNum)
+{
+ if (0 == timerNum)
+ {
+ return timer32_0_counter;
+ }
+ else
+ {
+ return timer32_1_counter;
+ }
+}
+
+/**************************************************************************/
+/*!
+ @brief Resets the auto-incrementing timer counter(s)
+*/
+/**************************************************************************/
+void timer32ResetCounter(uint8_t timerNum)
+{
+ if (0 == timerNum)
+ {