mbed library sources. Supersedes mbed-src.

Dependents:   SPIne CH_Communicatuin_Test CH_Communicatuin_Test2 MCP_SPIne ... more

Fork of mbed-dev-f303 by Ben Katz

Revision:
152:9a67f0b066fc
Parent:
149:156823d33999
Child:
167:e84263d55307
diff -r 5eaa88a5bcc7 -r 9a67f0b066fc cmsis/core_sc300.h
--- a/cmsis/core_sc300.h	Thu Nov 24 17:03:03 2016 +0000
+++ b/cmsis/core_sc300.h	Thu Dec 15 11:48:27 2016 +0000
@@ -1376,6 +1376,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();
 }