/* Returns the value of the auto-incrementing timer counter(s)  */
uint32_t timer32GetCount(uint8_t timerNum)
/* 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;
    }    
}