stmhal: Make TIM3 available for use by the user.

TIM3 is no longer used by USB CDC for triggering outgoing data, so we
can now make it available to the user.

PWM fading on LED(4) is now gone, but will be reinstated in a new way.

1 files changed, 0 insertions, 64 deletions

diff --git a/stmhal/led.c b/stmhal/led.c
index 990d2046a1..ee03d3fd00 100644
--- a/stmhal/led.c
+++ b/stmhal/led.c
@@ -83,46 +83,12 @@ void led_init(void) {
         GPIO_InitStructure.Pin = led_pin->pin_mask;
         HAL_GPIO_Init(led_pin->gpio, &GPIO_InitStructure);
     }
-
-    #if MICROPY_HW_LED4_PWM
-    // LED4 (blue) is on PB4 which is TIM3_CH1
-    // we use PWM on this channel to fade the LED
-
-    // LED3 (yellow) is on PA15 which has TIM2_CH1, so we could PWM that as well
-
-    // GPIO configuration
-    GPIO_InitStructure.Pin = MICROPY_HW_LED4.pin_mask;
-    GPIO_InitStructure.Mode = GPIO_MODE_AF_PP;
-    GPIO_InitStructure.Speed = GPIO_SPEED_FAST;
-    GPIO_InitStructure.Pull = GPIO_NOPULL;
-    GPIO_InitStructure.Alternate = GPIO_AF2_TIM3;
-    HAL_GPIO_Init(MICROPY_HW_LED4.gpio, &GPIO_InitStructure);
-
-    // PWM mode configuration
-    TIM_OC_InitTypeDef oc_init;
-    oc_init.OCMode = TIM_OCMODE_PWM1;
-    oc_init.Pulse = 0; // off
-    oc_init.OCPolarity = TIM_OCPOLARITY_HIGH;
-    oc_init.OCFastMode = TIM_OCFAST_DISABLE;
-    HAL_TIM_PWM_ConfigChannel(&TIM3_Handle, &oc_init, TIM_CHANNEL_1);
-
-    // start PWM
-    TIM_CCxChannelCmd(TIM3, TIM_CHANNEL_1, TIM_CCx_ENABLE);
-    #endif
 }
 
 void led_state(pyb_led_t led, int state) {
     if (led < 1 || led > NUM_LEDS) {
         return;
     }
-    if (MICROPY_HW_LED4_PWM && led == 4) {
-        if (state) {
-            TIM3->CCR1 = 0xffff;
-        } else {
-            TIM3->CCR1 = 0;
-        }
-        return;
-    }
     const pin_obj_t *led_pin = pyb_led_obj[led - 1].led_pin;
     //printf("led_state(%d,%d)\n", led, state);
     if (state == 0) {
@@ -139,15 +105,6 @@ void led_toggle(pyb_led_t led) {
         return;
     }
 
-    if (MICROPY_HW_LED4_PWM && led == 4) {
-        if (TIM3->CCR1 == 0) {
-            TIM3->CCR1 = 0xffff;
-        } else {
-            TIM3->CCR1 = 0;
-        }
-        return;
-    }
-
     // toggle the output data register to toggle the LED state
     const pin_obj_t *led_pin = pyb_led_obj[led - 1].led_pin;
     led_pin->gpio->ODR ^= led_pin->pin_mask;
@@ -158,14 +115,6 @@ int led_get_intensity(pyb_led_t led) {
         return 0;
     }
 
-    if (MICROPY_HW_LED4_PWM && led == 4) {
-        mp_uint_t i = (TIM3->CCR1 * 255 + (USBD_CDC_POLLING_INTERVAL*1000) - 2) / ((USBD_CDC_POLLING_INTERVAL*1000) - 1);
-        if (i > 255) {
-            i = 255;
-        }
-        return i;
-    }
-
     const pin_obj_t *led_pin = pyb_led_obj[led - 1].led_pin;
     GPIO_TypeDef *gpio = led_pin->gpio;
 
@@ -180,19 +129,6 @@ int led_get_intensity(pyb_led_t led) {
 }
 
 void led_set_intensity(pyb_led_t led, mp_int_t intensity) {
-    if (MICROPY_HW_LED4_PWM && led == 4) {
-        // set intensity using PWM pulse width
-        if (intensity < 0) {
-            intensity = 0;
-        } else if (intensity >= 255) {
-            intensity = 0xffff;
-        } else {
-            intensity = intensity * ((USBD_CDC_POLLING_INTERVAL*1000) - 1) / 255;
-        }
-        TIM3->CCR1 = intensity;
-        return;
-    }
-
     // intensity not supported for this LED; just turn it on/off
     led_state(led, intensity > 0);
 }