len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-08 20:55:14 -05:00
Code Issues Projects Releases Packages Wiki Activity

Slight formatting change to mpu_wrappers files

Browse source
This commit is contained in:
Soren Ptak 2024-02-14 08:49:40 -05:00
parent 1eae231c6f
commit 5f5ed08f82
2 changed files with 66 additions and 67 deletions
Download patch file Download diff file Expand all files Collapse all files

2
portable/GCC/ARM_CRx_MPU/mpu_wrappers_v2_asm.S
View file

@ -69,7 +69,7 @@ vPortSystemCallExit:
* Inputs: VOID * Inputs: VOID
*/ */
.align 4 .align 4
.weak xPortIsPrivileged .global xPortIsPrivileged
.type xPortIsPrivileged, %function .type xPortIsPrivileged, %function
xPortIsPrivileged: xPortIsPrivileged:
/* Load value of CPSR into R0 */ /* Load value of CPSR into R0 */

131
portable/GCC/ARM_CRx_MPU/mpu_wrappers_v2_asm.h
View file

@ -86,34 +86,34 @@ typedef struct xEventGroupWaitBitsParams
TickType_t xTicksToWait; TickType_t xTicksToWait;
} xEventGroupWaitBitsParams_t; } xEventGroupWaitBitsParams_t;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
extern TickType_t MPU_xTaskGetTickCount( void ) extern TickType_t MPU_xTaskGetTickCount( void )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
UBaseType_t MPU_uxTaskGetNumberOfTasks( void ) UBaseType_t MPU_uxTaskGetNumberOfTasks( void )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
char * MPU_pcTaskGetName( TaskHandle_t xTaskToQuery ) char * MPU_pcTaskGetName( TaskHandle_t xTaskToQuery )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
void MPU_vTaskSetTimeOutState( TimeOut_t * const pxTimeOut ) void MPU_vTaskSetTimeOutState( TimeOut_t * const pxTimeOut )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xTaskCheckForTimeOut( BaseType_t MPU_xTaskCheckForTimeOut(
TimeOut_t * const pxTimeOut, TimeOut_t * const pxTimeOut,
TickType_t * const pxTicksToWait TickType_t * const pxTicksToWait
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xQueueGenericSend( BaseType_t MPU_xQueueGenericSend(
QueueHandle_t xQueue, QueueHandle_t xQueue,
@ -122,24 +122,24 @@ BaseType_t MPU_xQueueGenericSend(
const BaseType_t xCopyPosition const BaseType_t xCopyPosition
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
UBaseType_t MPU_uxQueueMessagesWaiting( const QueueHandle_t xQueue ) UBaseType_t MPU_uxQueueMessagesWaiting( const QueueHandle_t xQueue )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
UBaseType_t MPU_uxQueueSpacesAvailable( const QueueHandle_t xQueue ) UBaseType_t MPU_uxQueueSpacesAvailable( const QueueHandle_t xQueue )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xQueueReceive( BaseType_t MPU_xQueueReceive(
QueueHandle_t xQueue, QueueHandle_t xQueue,
void * const pvBuffer, void * const pvBuffer,
TickType_t xTicksToWait TickType_t xTicksToWait
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xQueuePeek( BaseType_t MPU_xQueuePeek(
QueueHandle_t xQueue, QueueHandle_t xQueue,
@ -147,12 +147,12 @@ BaseType_t MPU_xQueuePeek(
TickType_t xTicksToWait TickType_t xTicksToWait
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xQueueSemaphoreTake( QueueHandle_t xQueue, TickType_t xTicksToWait ) BaseType_t MPU_xQueueSemaphoreTake( QueueHandle_t xQueue, TickType_t xTicksToWait )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
size_t MPU_xStreamBufferSend( size_t MPU_xStreamBufferSend(
StreamBufferHandle_t xStreamBuffer, StreamBufferHandle_t xStreamBuffer,
@ -161,7 +161,7 @@ size_t MPU_xStreamBufferSend(
TickType_t xTicksToWait TickType_t xTicksToWait
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
size_t MPU_xStreamBufferReceive( size_t MPU_xStreamBufferReceive(
StreamBufferHandle_t xStreamBuffer, StreamBufferHandle_t xStreamBuffer,
@ -170,39 +170,39 @@ size_t MPU_xStreamBufferReceive(
TickType_t xTicksToWait TickType_t xTicksToWait
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xStreamBufferIsFull( StreamBufferHandle_t xStreamBuffer ) BaseType_t MPU_xStreamBufferIsFull( StreamBufferHandle_t xStreamBuffer )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xStreamBufferIsEmpty( StreamBufferHandle_t xStreamBuffer ) BaseType_t MPU_xStreamBufferIsEmpty( StreamBufferHandle_t xStreamBuffer )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
size_t MPU_xStreamBufferSpacesAvailable( StreamBufferHandle_t xStreamBuffer ) size_t MPU_xStreamBufferSpacesAvailable( StreamBufferHandle_t xStreamBuffer )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
size_t MPU_xStreamBufferBytesAvailable( StreamBufferHandle_t xStreamBuffer ) size_t MPU_xStreamBufferBytesAvailable( StreamBufferHandle_t xStreamBuffer )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
BaseType_t MPU_xStreamBufferSetTriggerLevel( BaseType_t MPU_xStreamBufferSetTriggerLevel(
StreamBufferHandle_t xStreamBuffer, StreamBufferHandle_t xStreamBuffer,
size_t xTriggerLevel size_t xTriggerLevel
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
size_t MPU_xStreamBufferNextMessageLengthBytes( StreamBufferHandle_t xStreamBuffer ) size_t MPU_xStreamBufferNextMessageLengthBytes( StreamBufferHandle_t xStreamBuffer )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
EventBits_t MPU_xEventGroupWaitBits( EventBits_t MPU_xEventGroupWaitBits(
EventGroupHandle_t xEventGroup, EventGroupHandle_t xEventGroup,
@ -211,21 +211,21 @@ EventBits_t MPU_xEventGroupWaitBits(
const BaseType_t xWaitForAllBits, const BaseType_t xWaitForAllBits,
TickType_t xTicksToWait TickType_t xTicksToWait
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
EventBits_t MPU_xEventGroupClearBits( EventBits_t MPU_xEventGroupClearBits(
EventGroupHandle_t xEventGroup, EventGroupHandle_t xEventGroup,
const EventBits_t uxBitsToClear const EventBits_t uxBitsToClear
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
EventBits_t MPU_xEventGroupSetBits( EventBits_t MPU_xEventGroupSetBits(
EventGroupHandle_t xEventGroup, EventGroupHandle_t xEventGroup,
const EventBits_t uxBitsToSet const EventBits_t uxBitsToSet
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
EventBits_t MPU_xEventGroupSync( EventBits_t MPU_xEventGroupSync(
EventGroupHandle_t xEventGroup, EventGroupHandle_t xEventGroup,
@ -234,7 +234,7 @@ EventBits_t MPU_xEventGroupSync(
TickType_t xTicksToWait TickType_t xTicksToWait
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_xTaskDelayUntil == 1 ) #if( INCLUDE_xTaskDelayUntil == 1 )
@ -243,48 +243,48 @@ BaseType_t MPU_xTaskDelayUntil(
const TickType_t xTimeIncrement const TickType_t xTimeIncrement
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_xTaskDelayUntil == 1 ) */ #endif /* ( INCLUDE_xTaskDelayUntil == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_xTaskAbortDelay == 1 ) #if( INCLUDE_xTaskAbortDelay == 1 )
BaseType_t MPU_xTaskAbortDelay( TaskHandle_t xTask ) BaseType_t MPU_xTaskAbortDelay( TaskHandle_t xTask )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_xTaskAbortDelay == 1 ) */ #endif /* ( INCLUDE_xTaskAbortDelay == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_vTaskDelay == 1 ) #if( INCLUDE_vTaskDelay == 1 )
void MPU_vTaskDelay( const TickType_t xTicksToDelay ) void MPU_vTaskDelay( const TickType_t xTicksToDelay )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_vTaskDelay == 1 ) */ #endif /* ( INCLUDE_vTaskDelay == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_uxTaskPriorityGet == 1 ) #if( INCLUDE_uxTaskPriorityGet == 1 )
UBaseType_t MPU_uxTaskPriorityGet( const TaskHandle_t xTask ) UBaseType_t MPU_uxTaskPriorityGet( const TaskHandle_t xTask )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_uxTaskPriorityGet == 1 ) */ #endif /* ( INCLUDE_uxTaskPriorityGet == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_eTaskGetState == 1 ) #if( INCLUDE_eTaskGetState == 1 )
eTaskState MPU_eTaskGetState( TaskHandle_t xTask ) eTaskState MPU_eTaskGetState( TaskHandle_t xTask )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_eTaskGetState == 1 ) */ #endif /* ( INCLUDE_eTaskGetState == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_xTaskGetIdleTaskHandle == 1 ) #if( INCLUDE_xTaskGetIdleTaskHandle == 1 )
TaskHandle_t MPU_xTaskGetIdleTaskHandle( void ) TaskHandle_t MPU_xTaskGetIdleTaskHandle( void )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_xTaskGetIdleTaskHandle == 1 ) */ #endif /* ( INCLUDE_xTaskGetIdleTaskHandle == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_vTaskSuspend == 1 ) #if( INCLUDE_vTaskSuspend == 1 )
@ -294,8 +294,8 @@ void MPU_vTaskSuspend( TaskHandle_t xTaskToSuspend )
void MPU_vTaskResume( TaskHandle_t xTaskToResume ) void MPU_vTaskResume( TaskHandle_t xTaskToResume )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_vTaskSuspend == 1 ) */ #endif /* ( INCLUDE_vTaskSuspend == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configGENERATE_RUN_TIME_STATS == 1 ) #if( configGENERATE_RUN_TIME_STATS == 1 )
configRUN_TIME_COUNTER_TYPE MPU_ulTaskGetRunTimeCounter( const TaskHandle_t xTask ) configRUN_TIME_COUNTER_TYPE MPU_ulTaskGetRunTimeCounter( const TaskHandle_t xTask )
@ -309,10 +309,10 @@ configRUN_TIME_COUNTER_TYPE MPU_ulTaskGetIdleRunTimePercent( void )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
configRUN_TIME_COUNTER_TYPE MPU_ulTaskGetIdleRunTimeCounter( void ) configRUN_TIME_COUNTER_TYPE MPU_ulTaskGetIdleRunTimeCounter( void )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* ( INCLUDE_xTaskGetIdleTaskHandle == 1 ) */ #endif /* ( INCLUDE_xTaskGetIdleTaskHandle == 1 ) */
#endif /* if ( ( configGENERATE_RUN_TIME_STATS == 1 ) */ #endif /* ( ( configGENERATE_RUN_TIME_STATS == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configUSE_APPLICATION_TASK_TAG == 1 ) #if( configUSE_APPLICATION_TASK_TAG == 1 )
@ -322,8 +322,8 @@ void MPU_vTaskSetApplicationTaskTag( TaskHandle_t xTask, TaskHookFunction_t pxHo
TaskHookFunction_t MPU_xTaskGetApplicationTaskTag( TaskHandle_t xTask ) TaskHookFunction_t MPU_xTaskGetApplicationTaskTag( TaskHandle_t xTask )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( configUSE_APPLICATION_TASK_TAG == 1 ) */ #endif /* ( configUSE_APPLICATION_TASK_TAG == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configNUM_THREAD_LOCAL_STORAGE_POINTERS != 0 ) #if( configNUM_THREAD_LOCAL_STORAGE_POINTERS != 0 )
@ -338,41 +338,40 @@ void * MPU_pvTaskGetThreadLocalStoragePointer(
BaseType_t xIndex BaseType_t xIndex
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( configNUM_THREAD_LOCAL_STORAGE_POINTERS != 0 ) */ #endif /* ( configNUM_THREAD_LOCAL_STORAGE_POINTERS != 0 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_uxTaskGetStackHighWaterMark == 1 ) #if( INCLUDE_uxTaskGetStackHighWaterMark == 1 )
UBaseType_t MPU_uxTaskGetStackHighWaterMark( TaskHandle_t xTask ) UBaseType_t MPU_uxTaskGetStackHighWaterMark( TaskHandle_t xTask )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_uxTaskGetStackHighWaterMark == 1 ) */ #endif /* ( INCLUDE_uxTaskGetStackHighWaterMark == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( INCLUDE_uxTaskGetStackHighWaterMark2 == 1 ) #if( INCLUDE_uxTaskGetStackHighWaterMark2 == 1 )
configSTACK_DEPTH_TYPE MPU_uxTaskGetStackHighWaterMark2( TaskHandle_t xTask ) configSTACK_DEPTH_TYPE MPU_uxTaskGetStackHighWaterMark2( TaskHandle_t xTask )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_uxTaskGetStackHighWaterMark2 == 1 ) */ #endif /* ( INCLUDE_uxTaskGetStackHighWaterMark2 == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( ( INCLUDE_xTaskGetCurrentTaskHandle == 1 ) || ( configUSE_MUTEXES == 1 ) ) #if( ( INCLUDE_xTaskGetCurrentTaskHandle == 1 ) || ( configUSE_MUTEXES == 1 ) )
TaskHandle_t MPU_xTaskGetCurrentTaskHandle( void ) TaskHandle_t MPU_xTaskGetCurrentTaskHandle( void )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( ( INCLUDE_xTaskGetCurrentTaskHandle == 1 ) || ( configUSE_MUTEXES == 1 ) \ #endif /* ( ( INCLUDE_xTaskGetCurrentTaskHandle == 1 ) || ( configUSE_MUTEXES == 1 ) ) */
) */ /* ----------------------------------------------------------------------------------- */
/*-----------------------------------------------------------*/
#if( INCLUDE_xTaskGetSchedulerState == 1 ) #if( INCLUDE_xTaskGetSchedulerState == 1 )
BaseType_t MPU_xTaskGetSchedulerState( void ) BaseType_t MPU_xTaskGetSchedulerState( void )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( INCLUDE_xTaskGetSchedulerState == 1 ) */ #endif /* ( INCLUDE_xTaskGetSchedulerState == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configUSE_TRACE_FACILITY == 1 ) #if( configUSE_TRACE_FACILITY == 1 )
@ -395,8 +394,8 @@ UBaseType_t MPU_uxEventGroupGetNumber( void * xEventGroup )
void MPU_vEventGroupSetNumber( void * xEventGroup, UBaseType_t uxEventGroupNumber ) void MPU_vEventGroupSetNumber( void * xEventGroup, UBaseType_t uxEventGroupNumber )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /*( configUSE_TRACE_FACILITY == 1 )*/ #endif /* ( configUSE_TRACE_FACILITY == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configUSE_TASK_NOTIFICATIONS == 1 ) #if( configUSE_TASK_NOTIFICATIONS == 1 )
@ -423,8 +422,8 @@ uint32_t MPU_ulTaskGenericNotifyValueClear(
uint32_t ulBitsToClear uint32_t ulBitsToClear
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( configUSE_TASK_NOTIFICATIONS == 1 ) */ #endif /* ( configUSE_TASK_NOTIFICATIONS == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configUSE_RECURSIVE_MUTEXES == 1 ) #if( configUSE_RECURSIVE_MUTEXES == 1 )
@ -441,8 +440,8 @@ TaskHandle_t MPU_xQueueGetMutexHolder( QueueHandle_t xSemaphore )
#endif /* ( INCLUDE_xSemaphoreGetMutexHolder == 1 ) ) */ #endif /* ( INCLUDE_xSemaphoreGetMutexHolder == 1 ) ) */
#endif /* if ( configUSE_RECURSIVE_MUTEXES == 1 ) */ #endif /* ( configUSE_RECURSIVE_MUTEXES == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configUSE_QUEUE_SETS == 1 ) #if( configUSE_QUEUE_SETS == 1 )
@ -456,8 +455,8 @@ BaseType_t MPU_xQueueAddToSet(
QueueSetHandle_t xQueueSet QueueSetHandle_t xQueueSet
) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; ) __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( configUSE_QUEUE_SETS == 1 ) */ #endif /* ( configUSE_QUEUE_SETS == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configQUEUE_REGISTRY_SIZE > 0 ) #if( configQUEUE_REGISTRY_SIZE > 0 )
@ -470,8 +469,8 @@ void MPU_vQueueUnregisterQueue( QueueHandle_t xQueue )
const char * MPU_pcQueueGetName( QueueHandle_t xQueue ) const char * MPU_pcQueueGetName( QueueHandle_t xQueue )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( configQUEUE_REGISTRY_SIZE > 0 ) */ #endif /* ( configQUEUE_REGISTRY_SIZE > 0 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#if( configUSE_TIMERS == 1 ) #if( configUSE_TIMERS == 1 )
@ -508,7 +507,7 @@ TickType_t MPU_xTimerGetPeriod( TimerHandle_t xTimer )
TickType_t MPU_xTimerGetExpiryTime( TimerHandle_t xTimer ) TickType_t MPU_xTimerGetExpiryTime( TimerHandle_t xTimer )
__attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL; __attribute__( ( naked ) ) FREERTOS_SYSTEM_CALL;
#endif /* if ( configUSE_TIMERS == 1 ) */ #endif /* ( configUSE_TIMERS == 1 ) */
/*-----------------------------------------------------------*/ /* ----------------------------------------------------------------------------------- */
#endif /* MPU_PROTOTYPES_H */ #endif /* MPU_PROTOTYPES_H */