SysCtlClockSet(SYSCTL_SYSDIV_1 | SYSCTL_USE_OSC | SYSCTL_OSC_MAIN| SYSCTL_XTAL_16MHZ);
SysCtlPeripheralEnable(SYSCTL_PERIPH_TIMER0);
TimerConfigure(TIMER0_BASE, TIMER_CFG_SPLIT_PAIR | TIMER_CFG_B_ONE_SHOT );
TimerLoadSet(TIMER0_BASE, TIMER_B, 0);
TimerEnable(TIMER0_BASE, TIMER_B);
while(1)
{
uint32_t VALUE=TimerValueGet(TIMER0_BASE, TIMER_B);
UARTprintf("TIME:%4u\n",VALUE);
}