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_ARM_MPS2_M0/core_sc000.h
- Revision:
- 131:faff56e089b2
- Parent:
- 110:165afa46840b
- Child:
- 145:64910690c574
--- a/TARGET_ARM_MPS2_M0/core_sc000.h Thu Nov 24 11:01:25 2016 +0000 +++ b/TARGET_ARM_MPS2_M0/core_sc000.h Thu Dec 15 11:17:48 2016 +0000 @@ -705,6 +705,8 @@ __STATIC_INLINE void NVIC_DisableIRQ(IRQn_Type IRQn) { NVIC->ICER[0] = (uint32_t)(1UL << (((uint32_t)(int32_t)IRQn) & 0x1FUL)); + __DSB(); + __ISB(); }