/* Set the timer clock divider, based off of the 18MHz oscillator  */
void timer_clock_div(uint8_t div)
/* Set the timer clock divider, based off of the 18MHz oscillator  */
void timer_clock_div(uint8_t div)
{
	div = (div <= 1) ? 1 : (div & ~0x1);
	SYSCTL_SYS_CFG_0 = (~TIMER_DIV_MASK & SYSCTL_SYS_CFG_0) | (div << 16);
}