diff options
Diffstat (limited to 'ports/stm32/pendsv.h')
| -rw-r--r-- | ports/stm32/pendsv.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ports/stm32/pendsv.h b/ports/stm32/pendsv.h index aa8f90e3e..0733d355d 100644 --- a/ports/stm32/pendsv.h +++ b/ports/stm32/pendsv.h @@ -26,6 +26,8 @@ #ifndef MICROPY_INCLUDED_STM32_PENDSV_H #define MICROPY_INCLUDED_STM32_PENDSV_H +#include "boardctrl.h" + enum { PENDSV_DISPATCH_SOFT_TIMER, #if MICROPY_PY_NETWORK && MICROPY_PY_LWIP @@ -37,6 +39,7 @@ enum { #if MICROPY_PY_BLUETOOTH && !MICROPY_PY_BLUETOOTH_USE_SYNC_EVENTS PENDSV_DISPATCH_BLUETOOTH_HCI, #endif + MICROPY_BOARD_PENDSV_ENTRIES PENDSV_DISPATCH_MAX }; |