/* Reset the PWM module. 
This function will reset the PWM module. */
void pwm_reset(enum pwm_device_select device_select)
/* Reset the PWM module. 
This function will reset the PWM module. */
void pwm_reset(enum pwm_device_select device_select)
{
	switch (device_select) {
		case PWM0:
			system_peripheral_reset(PERIPHERAL_PWM0);
			break;
		case PWM1:
			system_peripheral_reset(PERIPHERAL_PWM1);
			break;
		case PWM2:
			system_peripheral_reset(PERIPHERAL_PWM2);
			break;
		case PWM3:
			system_peripheral_reset(PERIPHERAL_PWM3);
			break;
	}
}