Use types from circuitpython.

Author: flom84

ports/stm/peripherals/exti.c

@@ -26,6 +26,7 @@
 
 #include <stdbool.h>
 #include "py/mpconfig.h"
+#include "py/misc.h"
 
 #include "peripherals/exti.h"
 
@@ -125,7 +126,7 @@ void EXTI4_IRQHandler(void) {
 #endif
 void EXTI9_5_IRQHandler(void) {
     uint32_t pending = EXTI->PR;
-    for (uint8_t i = 5; i <= 9; i++) {
+    for (uint i = 5; i <= 9; i++) {
         if (pending & (1 << i)) {
             stm_exti_callback[i](i);
         }
@@ -134,7 +135,7 @@ void EXTI9_5_IRQHandler(void) {
 
 void EXTI15_10_IRQHandler(void) {
     uint32_t pending = EXTI->PR;
-    for (uint8_t i = 10; i <= 15; i++) {
+    for (uint i = 10; i <= 15; i++) {
         if (pending & (1 << i)) {
             stm_exti_callback[i](i);
         }