/* Set the PWM unit clock divisor. 
Set the binary divisor used to predivide the system clock down for use as the timing reference for the PWM module. */
void rcc_set_pwm_divisor(enum pwm_clkdiv div)
/* Set the PWM unit clock divisor. 
Set the binary divisor used to predivide the system clock down for use as the timing reference for the PWM module. */
void rcc_set_pwm_divisor(enum pwm_clkdiv div)
{
	uint32_t reg32;
	reg32 = SYSCTL_RCC;
	reg32 &= ~SYSCTL_RCC_PWMDIV_MASK;
	reg32 |= (div & SYSCTL_RCC_PWMDIV_MASK);
	SYSCTL_RCC = reg32;
}