len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2026-10-10 08:02:57 -04:00
Code Issues Projects Releases Packages Wiki Activity

Merge 88e562250b into 8be86d4a24

Browse source
This commit is contained in:
ian0318git 2026-10-04 23:04:18 +11:00 • committed by GitHub
commit 12024f7a0f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 50 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
event_groups.c
View file

@ -693,6 +693,12 @@
}
#endif /* configSUPPORT_DYNAMIC_ALLOCATION */
#if ( ( portUSING_MPU_WRAPPERS == 1 ) && ( configENABLE_ACCESS_CONTROL_LIST == 1 ) )
{
vvMPU_ObjectDeleted( ( int32_t ) xEventGroup );
}
#endif
traceRETURN_vEventGroupDelete();
}
/*-----------------------------------------------------------*/

6
include/FreeRTOS.h
View file

@ -85,6 +85,12 @@
#define configENABLE_ACCESS_CONTROL_LIST 0
#endif
/* Set configENABLE_AUTOMATIC_ACL_CLEANUP to 1 to automatically revoke ACL
* permissions on object deletion. */
#ifndef configENABLE_AUTOMATIC_ACL_CLEANUP
#define configENABLE_AUTOMATIC_ACL_CLEANUP 0
#endif
/* Set default value of configNUMBER_OF_CORES to 1 to use single core FreeRTOS. */
#ifndef configNUMBER_OF_CORES
#define configNUMBER_OF_CORES 1

5
include/mpu_wrappers.h
View file

@ -278,6 +278,11 @@
#endif /* #if ( ( configUSE_MPU_WRAPPERS_V1 == 0 ) && ( configENABLE_ACCESS_CONTROL_LIST == 1 ) ) */
#if ( configUSE_MPU_WRAPPERS_V1 == 0 )
void vvMPU_ObjectDeleted( int32_t lExternalKernelObjectHandle ) PRIVILEGED_FUNCTION;
#endif
#endif /* MPU_WRAPPERS_INCLUDED_FROM_API_FILE */
#define PRIVILEGED_FUNCTION __attribute__( ( section( "privileged_functions" ) ) )

15
portable/Common/mpu_wrappers_v2.c
View file

@ -47,6 +47,21 @@
#include "mpu_syscall_numbers.h"
#undef MPU_WRAPPERS_INCLUDED_FROM_API_FILE
void vvMPU_ObjectDeleted( int32_t lExternalKernelObjectHandle ) /* PRIVILEGED_FUNCTION */
{
if( IS_EXTERNAL_INDEX_VALID( lExternalKernelObjectHandle ) != pdFALSE )
{
#if ( configENABLE_AUTOMATIC_ACL_CLEANUP == 1 )
{
vRevokeAccessToKernelObject( NULL, lExternalKernelObjectHandle );
}
#endif
MPU_SetIndexFreeInKernelObjectPool( CONVERT_TO_INTERNAL_INDEX( lExternalKernelObjectHandle ) );
}
}
/*-----------------------------------------------------------*/
#if ( ( portUSING_MPU_WRAPPERS == 1 ) && ( configUSE_MPU_WRAPPERS_V1 == 0 ) )

12
queue.c
View file

@ -2298,6 +2298,18 @@ void vQueueDelete( QueueHandle_t xQueue )
}
#endif /* configSUPPORT_DYNAMIC_ALLOCATION */
#if ( ( portUSING_MPU_WRAPPERS == 1 ) && ( configENABLE_ACCESS_CONTROL_LIST == 1 ) )
{
vvMPU_ObjectDeleted( ( int32_t ) xQueue );
}
#endif
#if ( ( portUSING_MPU_WRAPPERS == 1 ) && ( configENABLE_ACCESS_CONTROL_LIST == 1 ) )
{
vvMPU_ObjectDeleted( ( int32_t ) xQueue );
}
#endif
traceRETURN_vQueueDelete();
}
/*-----------------------------------------------------------*/

6
stream_buffer.c
View file

@ -596,6 +596,12 @@ void vStreamBufferDelete( StreamBufferHandle_t xStreamBuffer )
( void ) memset( pxStreamBuffer, 0x00, sizeof( StreamBuffer_t ) );
}
#if ( ( portUSING_MPU_WRAPPERS == 1 ) && ( configENABLE_ACCESS_CONTROL_LIST == 1 ) )
{
vvMPU_ObjectDeleted( ( int32_t ) xStreamBuffer );
}
#endif
traceRETURN_vStreamBufferDelete();
}
/*-----------------------------------------------------------*/