diff --git a/include/portable.h b/include/portable.h index 9050a851d..68e11e793 100644 --- a/include/portable.h +++ b/include/portable.h @@ -175,9 +175,6 @@ typedef struct xHeapStats * terminated by a HeapRegions_t structure that has a size of 0. The region * with the lowest start address must appear first in the array. */ -/* MISRA Ref 8.6.1 [External linkage] */ -/* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-86 */ -/* coverity[misra_c_2012_rule_8_6_violation] */ void vPortDefineHeapRegions( const HeapRegion_t * const pxHeapRegions ) PRIVILEGED_FUNCTION; /* diff --git a/tasks.c b/tasks.c index b570600a3..c596c475f 100644 --- a/tasks.c +++ b/tasks.c @@ -3839,9 +3839,6 @@ void vTaskEndScheduler( void ) /* This function must be called from a task and the application is * responsible for deleting that task after the scheduler is stopped. */ - /* MISRA Ref 2.2 [No dead code] */ - /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#dir-22 */ - /* coverity[misra_c_2012_directive_2_2_violation] */ vPortEndScheduler(); traceRETURN_vTaskEndScheduler();