diff options
Diffstat (limited to 'os')
| -rw-r--r-- | os/ports/GCC/ARMCMx/chcore_v7m.h | 4 | 
1 files changed, 4 insertions, 0 deletions
diff --git a/os/ports/GCC/ARMCMx/chcore_v7m.h b/os/ports/GCC/ARMCMx/chcore_v7m.h index 9d81d1839..9bf9dafb2 100644 --- a/os/ports/GCC/ARMCMx/chcore_v7m.h +++ b/os/ports/GCC/ARMCMx/chcore_v7m.h @@ -456,7 +456,11 @@ static inline syssts_t port_get_irq_status(void) {   */
  static inline bool port_irq_enabled(syssts_t sts) {
 +#if !CORTEX_SIMPLIFIED_PRIORITY
    return sts >= CORTEX_BASEPRI_KERNEL;
 +#else /* CORTEX_SIMPLIFIED_PRIORITY */
 +  return (sts & 1) == 0;
 +#endif /* CORTEX_SIMPLIFIED_PRIORITY */
  }
  /**
  | 
