raspiezo / mbed-dev

hal_tick.h changed for the L432KC target in TARGET/../device/ in order to reassign the system ticker from TIM2 to TIM7, since TIM2 was needed as a 32bit encoder counter.

Dependents:   Nucleo_L432KC_Quadrature_Decoder_with_ADC_and_DAC

Fork of mbed-dev by mbed official

Diff: cmsis/core_cm4.h

Revision:
152:9a67f0b066fc
Parent:
150:02e0a0aed4ec
--- a/cmsis/core_cm4.h	Thu Nov 24 17:03:03 2016 +0000
+++ b/cmsis/core_cm4.h	Thu Dec 15 11:48:27 2016 +0000
@@ -1597,6 +1597,8 @@
 __STATIC_INLINE void __NVIC_DisableIRQ(IRQn_Type IRQn)
 {
   NVIC->ICER[(((uint32_t)(int32_t)IRQn) >> 5UL)] = (uint32_t)(1UL << (((uint32_t)(int32_t)IRQn) & 0x1FUL));
+  __DSB();
+  __ISB();
 }