+/**************************************************************************/
+/*!
+ @brief Sets the optional callback function for 32-bit timer 0
+
+ @section EXAMPLE
+
+ @code
+ #include "core/timer32/timer32.h"
+
+ static volatile int32_t timerCounter;
+
+ // Callback function for 32-bit timer 0
+ void ct32b0Callback(void)
+ {
+ timerCounter++;
+ }
+
+ int main(void)
+ {
+ // Configure cpu and mandatory peripherals
+ systemInit();
+
+ // Init timer 0 with 1ms delay
+ timer32Init(0, TIMER32_CCLK_1MS);
+
+ // Setup the interrupt callback
+ timer32SetIntHandler(ct32b0Callback);
+
+ // Enable the timer
+ timer32Enable(0);
+
+ while (1)
+ {
+ }
+ }
+ @endcode
+*/
+/**************************************************************************/
+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)
+ {