summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--stmhal/irq.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/stmhal/irq.h b/stmhal/irq.h
index 878ef460b3..bf8c1fcd98 100644
--- a/stmhal/irq.h
+++ b/stmhal/irq.h
@@ -34,6 +34,8 @@ static inline mp_uint_t query_irq(void) {
// enable_irq and disable_irq are defined inline in mpconfigport.h
+#if __CORTEX_M >= 0x03
+
// irqs with a priority value greater or equal to "pri" will be disabled
// "pri" should be between 1 and 15 inclusive
static inline uint32_t raise_irq_pri(uint32_t pri) {
@@ -53,6 +55,8 @@ static inline void restore_irq_pri(uint32_t basepri) {
__set_BASEPRI(basepri);
}
+#endif
+
MP_DECLARE_CONST_FUN_OBJ(pyb_wfi_obj);
MP_DECLARE_CONST_FUN_OBJ(pyb_disable_irq_obj);
MP_DECLARE_CONST_FUN_OBJ(pyb_enable_irq_obj);