commit 9f316c246baafa15c542a5aea81a94f26e3d6507

[freertos] / FreeRTOS / Source / include / FreeRTOS.h

diff --git a/FreeRTOS/Source/include/FreeRTOS.h b/FreeRTOS/Source/include/FreeRTOS.h
index 3afd3bb241089f0c190a5edda837ba8c4dc9decf..a621f8a3b369c0f11a0a7f238b812fbf89a04867 100644 (file)
--- a/FreeRTOS/Source/include/FreeRTOS.h
+++ b/FreeRTOS/Source/include/FreeRTOS.h
@@ -1,6 +1,6 @@
 /*\r
- * FreeRTOS Kernel V10.2.0\r
- * Copyright (C) 2019 Amazon.com, Inc. or its affiliates.  All Rights Reserved.\r
+ * FreeRTOS Kernel V10.3.0\r
+ * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.\r
  *\r
  * Permission is hereby granted, free of charge, to any person obtaining a copy of\r
  * this software and associated documentation files (the "Software"), to deal in\r
@@ -241,6 +241,26 @@ extern "C" {
        #define configASSERT_DEFINED 1\r
 #endif\r
 \r
+/* configPRECONDITION should be defined as configASSERT.\r
+The CBMC proofs need a way to track assumptions and assertions.\r
+A configPRECONDITION statement should express an implicit invariant or\r
+assumption made.  A configASSERT statement should express an invariant that must\r
+hold explicit before calling the code. */\r
+#ifndef configPRECONDITION\r
+       #define configPRECONDITION( X ) configASSERT(X)\r
+       #define configPRECONDITION_DEFINED 0\r
+#else\r
+       #define configPRECONDITION_DEFINED 1\r
+#endif\r
+\r
+#ifndef portMEMORY_BARRIER\r
+       #define portMEMORY_BARRIER()\r
+#endif\r
+\r
+#ifndef portSOFTWARE_BARRIER\r
+       #define portSOFTWARE_BARRIER()\r
+#endif\r
+\r
 /* The timers module relies on xTaskGetSchedulerState(). */\r
 #if configUSE_TIMERS == 1\r
 \r
@@ -766,8 +786,8 @@ extern "C" {
        #define portALLOCATE_SECURE_CONTEXT( ulSecureStackSize )\r
 #endif\r
 \r
-#ifndef portHAS_STACK_OVERFLOW_CHECKING\r
-       #define portHAS_STACK_OVERFLOW_CHECKING 0\r
+#ifndef portDONT_DISCARD\r
+       #define portDONT_DISCARD\r
 #endif\r
 \r
 #ifndef configUSE_TIME_SLICING\r
@@ -933,6 +953,7 @@ V8 if desired. */
        #define pcTimerGetTimerName pcTimerGetName\r
        #define pcQueueGetQueueName pcQueueGetName\r
        #define vTaskGetTaskInfo vTaskGetInfo\r
+       #define xTaskGetIdleRunTimeCounter ulTaskGetIdleRunTimeCounter\r
 \r
        /* Backward compatibility within the scheduler code only - these definitions\r
        are not really required but are included for completeness. */\r