mbed official / mbed-dev

mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Diff: hal/mbed_critical_section_api.c

Revision:
188:bcfe06ba3d64
Parent:
184:08ed48f1de7f
Child:
189:f392fc9709a3
--- a/hal/mbed_critical_section_api.c	Thu Sep 06 13:40:20 2018 +0100
+++ b/hal/mbed_critical_section_api.c	Thu Nov 08 11:46:34 2018 +0000
@@ -49,10 +49,8 @@
 
 MBED_WEAK void hal_critical_section_exit(void)
 {
-#ifndef FEATURE_UVISOR
     // Interrupts must be disabled on invoking an exit from a critical section
     MBED_ASSERT(!are_interrupts_enabled());
-#endif
     state_saved = false;
 
     // Restore the IRQs to their state prior to entering the critical section