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: platform/mbed_critical.c

Revision:
153:fa9ff456f731
Parent:
149:156823d33999
--- a/platform/mbed_critical.c	Thu Dec 15 11:48:27 2016 +0000
+++ b/platform/mbed_critical.c	Tue Dec 20 17:27:56 2016 +0000
@@ -15,6 +15,8 @@
  * limitations under the License.
  */
 
+/* Declare __STDC_LIMIT_MACROS so stdint.h defines UINT32_MAX when using C++ */
+#define __STDC_LIMIT_MACROS
 #include "platform/critical.h"
 
 #include "cmsis.h"