At the end of the post is my codes, where ConfigureUART can be found in most TI examples so I didn't include, also there are duplicated headers files due to copy/paste but it would have any negative effect.
The program runs fine and timer counts up.
My questions
1) How do I reset the counter? I tried to disable and enable timer, and it had no effect
2) How do I set up the prescaler? I used TimerPrescaleSet and it had no effect
Thanks for your time and pointer!
>>>>>>>>>>>>>>
#include <stdint.h>
#include <stdbool.h>
#include "inc/hw_ints.h"
#include "inc/hw_memmap.h"
#include "inc/hw_types.h"
#include "inc/hw_uart.h"
#include "inc/hw_ssi.h"
#include "driverlib/fpu.h"
#include "driverlib/gpio.h"
#include "driverlib/interrupt.h"
#include "driverlib/pin_map.h"
#include "driverlib/rom.h"
#include "driverlib/ROM_map.h"
#include "driverlib/sysctl.h"
#include "driverlib/systick.h"
#include "driverlib/uart.h"
#include "driverlib/udma.h"
#include "driverlib/ssi.h"
#include "utils/cpu_usage.h"
#include "utils/uartstdio.h"
#include "utils/ustdlib.h"
#include "inc/hw_emac.h"
#include "inc/hw_memmap.h"
#include "inc/hw_types.h"
#include "driverlib/debug.h"
#include "driverlib/emac.h"
#include "driverlib/flash.h"
#include "driverlib/interrupt.h"
#include "uip/uip.h"
#include "uip/uip_arp.h"
#include "httpd/httpd.h"
#include "dhcpc/dhcpc.h"
#include "drivers/pinout.h"
#include "driverlib/adc.h"
#include "inc/hw_adc.h"
#include "driverlib/timer.h"
#include "driverlib/gpio.h"
#include <stdint.h>
#include <stdbool.h>
#include "inc/hw_memmap.h"
#include "inc/hw_types.h"
#include "inc/hw_gpio.h"
#include "driverlib/debug.h"
#include "driverlib/fpu.h"
#include "driverlib/gpio.h"
#include "driverlib/pin_map.h"
#include "driverlib/rom.h"
#include "driverlib/sysctl.h"
#include "driverlib/timer.h"
#include "driverlib/uart.h"
#include "driverlib/rom_map.h"
#include "driverlib/gpio.h"
#include "utils/uartstdio.h"
int main(void) {
unsigned int val;
g_ui32SysClock = MAP_SysCtlClockFreqSet((SYSCTL_XTAL_25MHZ |
SYSCTL_OSC_MAIN |
SYSCTL_USE_PLL |
SYSCTL_CFG_VCO_480), 120000000);
MAP_SysCtlPeripheralEnable(SYSCTL_PERIPH_TIMER1);
MAP_SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOA);
MAP_GPIOPinConfigure(GPIO_PA2_T1CCP0);
MAP_GPIOPinTypeTimer(GPIO_PORTA_BASE, GPIO_PIN_2);
ConfigureUART();
TimerConfigure(TIMER1_BASE, TIMER_CFG_A_CAP_COUNT_UP);
TimerControlEvent(TIMER1_BASE, TIMER_A, TIMER_EVENT_POS_EDGE);
TimerPrescaleSet(TIMER1_BASE, TIMER_A, 255);
TimerEnable(TIMER1_BASE, TIMER_A);
while (1)
{
val = TimerValueGet(TIMER1_BASE, TIMER_A);
UARTprintf("Timer1A: (%u) \n", val&0xffff);
}
}