![]() |
CMSIS-RTOS Validation
Version 1.0
RTOS Validation
|
#include <string.h>
#include "RV_Framework.h"
#include "cmsis_rv.h"
#include "cmsis_os.h"
Data Structures | |
struct | ISR_RES |
Functions | |
osMutexDef (MutexIsr) | |
osMutexDef (MutexBas) | |
static void | Th_MutexLock (void const *arg) |
osThreadDef (Th_MutexLock, osPriorityAboveNormal, 1, 0) | |
osMutexDef (MutexTout) | |
static void | Th_MutexWait (void const *arg) |
osThreadDef (Th_MutexWait, osPriorityAboveNormal, 1, 0) | |
static void | RecursiveMutexAcquire (uint32_t depth, uint32_t ctrl) |
osMutexDef (Mutex_Nest) | |
void | Th_LowPrioJob (void const *arg) |
void | Th_MediumPrioJob (void const *arg) |
void | Th_HighPrioJob (void const *arg) |
osThreadDef (Th_LowPrioJob, osPriorityBelowNormal, 1, 0) | |
osThreadDef (Th_MediumPrioJob, osPriorityNormal, 1, 0) | |
osThreadDef (Th_HighPrioJob, osPriorityAboveNormal, 1, 0) | |
osMutexDef (Mutex_PrioInv) | |
osMutexDef (Mutex_Ownership) | |
void | Th_MutexAcqLow (void const *arg) |
void | Th_MutexRelHigh (void const *arg) |
osThreadDef (Th_MutexAcqLow, osPriorityLow, 1, 0) | |
osThreadDef (Th_MutexRelHigh, osPriorityHigh, 1, 0) | |
void | Mutex_IRQHandler (void) |
void | TC_MutexBasic (void) |
Test case: TC_MutexBasic. | |
void | TC_MutexTimeout (void) |
Test case: TC_MutexTimeout. | |
void | TC_MutexNestedAcquire (void) |
Test case: TC_MutexNestedAcquire. | |
void | TC_MutexPriorityInversion (void) |
Test case: TC_MutexPriorityInversion. | |
void | TC_MutexOwnership (void) |
Test case: TC_MutexOwnership. | |
void | TC_MutexParam (void) |
Test case: TC_MutexParam. | |
void | TC_MutexInterrupts (void) |
Test case: TC_MutexInterrupts. | |
Variables | |
ISR_RES | Isr |
osMutexId | ISR_MutexId |
osStatus | ISR_OsStat |
uint8_t | G_ExecArr [3] |
osMutexId | G_MutexId |
osThreadId | G_Mutex_ThreadId |
void Mutex_IRQHandler | ( | void | ) |
osMutexDef | ( | MutexIsr | ) |
osMutexDef | ( | MutexBas | ) |
osMutexDef | ( | MutexTout | ) |
osMutexDef | ( | Mutex_Nest | ) |
osMutexDef | ( | Mutex_PrioInv | ) |
osMutexDef | ( | Mutex_Ownership | ) |
osThreadDef | ( | Th_MutexLock | , |
osPriorityAboveNormal | , | ||
1 | , | ||
0 | |||
) |
osThreadDef | ( | Th_MutexWait | , |
osPriorityAboveNormal | , | ||
1 | , | ||
0 | |||
) |
osThreadDef | ( | Th_LowPrioJob | , |
osPriorityBelowNormal | , | ||
1 | , | ||
0 | |||
) |
osThreadDef | ( | Th_MediumPrioJob | , |
osPriorityNormal | , | ||
1 | , | ||
0 | |||
) |
osThreadDef | ( | Th_HighPrioJob | , |
osPriorityAboveNormal | , | ||
1 | , | ||
0 | |||
) |
osThreadDef | ( | Th_MutexAcqLow | , |
osPriorityLow | , | ||
1 | , | ||
0 | |||
) |
osThreadDef | ( | Th_MutexRelHigh | , |
osPriorityHigh | , | ||
1 | , | ||
0 | |||
) |
|
static |
void Th_HighPrioJob | ( | void const * | arg | ) |
void Th_LowPrioJob | ( | void const * | arg | ) |
void Th_MediumPrioJob | ( | void const * | arg | ) |
void Th_MutexAcqLow | ( | void const * | arg | ) |
|
static |
void Th_MutexRelHigh | ( | void const * | arg | ) |
|
static |
uint8_t G_ExecArr[3] |
osThreadId G_Mutex_ThreadId |
osMutexId G_MutexId |
ISR_RES Isr |
osMutexId ISR_MutexId |
osStatus ISR_OsStat |