mbed official / mbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

mbed 2

This is the mbed 2 library. If you'd like to learn about Mbed OS please see the mbed-os docs.

Diff: TARGET_K66F/core_cm0plus.h

Revision:
131:faff56e089b2
Parent:
128:9bcdf88f62b0
Child:
145:64910690c574
--- a/TARGET_K66F/core_cm0plus.h	Thu Nov 24 11:01:25 2016 +0000
+++ b/TARGET_K66F/core_cm0plus.h	Thu Dec 15 11:17:48 2016 +0000
@@ -703,6 +703,8 @@
 __STATIC_INLINE void NVIC_DisableIRQ(IRQn_Type IRQn)
 {
   NVIC->ICER[0] = (uint32_t)(1UL << (((uint32_t)(int32_t)IRQn) & 0x1FUL));
+  __DSB();
+  __ISB();
 }