CMSIS-RTOS2 Validation  Version 0.9.0-dev77
Validates RTOS2 API Implementation
Kernel Functions

Kernel Information and Control Test Cases. More...

Functions

void TC_osKernelInitialize_1 (void)
 Test case: TC_osKernelInitialize_1. More...
 
void TC_osKernelGetInfo_1 (void)
 Test case: TC_osKernelGetInfo_1. More...
 
void TC_osKernelGetState_1 (void)
 Test case: TC_osKernelGetState_1. More...
 
void TC_osKernelGetState_2 (void)
 Test case: TC_osKernelGetState_2. More...
 
void TC_osKernelStart_1 (void)
 Test case: TC_osKernelStart_1. More...
 
void TC_osKernelLock_1 (void)
 Test case: TC_osKernelLock_1. More...
 
void TC_osKernelLock_2 (void)
 Test case: TC_osKernelLock_2. More...
 
void TC_osKernelUnlock_1 (void)
 Test case: TC_osKernelUnlock_1. More...
 
void TC_osKernelUnlock_2 (void)
 Test case: TC_osKernelUnlock_2. More...
 
void TC_osKernelRestoreLock_1 (void)
 Test case: TC_osKernelRestoreLock_1. More...
 
void TC_osKernelSuspend_1 (void)
 Test case: TC_osKernelSuspend_1. More...
 
void TC_osKernelResume_1 (void)
 Test case: TC_osKernelResume_1. More...
 
void TC_osKernelGetTickCount_1 (void)
 Test case: TC_osKernelGetTickCount_1. More...
 
void TC_osKernelGetTickFreq_1 (void)
 Test case: TC_osKernelGetTickFreq_1. More...
 
void TC_osKernelGetSysTimerCount_1 (void)
 Test case: TC_osKernelGetSysTimerCount_1. More...
 
void TC_osKernelGetSysTimerFreq_1 (void)
 Test case: TC_osKernelGetSysTimerFreq_1. More...
 

Description

The Kernel Information and Control function group in CMSIS-RTOS provides means for obtain information about the system, the underlying kernel and the CMSIS-RTOS API. The test cases check the functions return values and calls from an ISR.

Function Documentation

◆ TC_osKernelGetInfo_1()

void TC_osKernelGetInfo_1 ( void  )
  • Call osKernelGetInfo and check that returned structures are populated
  • Call osKernelGetInfo with argument version equal to NULL
  • Call osKernelGetInfo with argument id_buf equal to NULL
  • Call osKernelGetInfo with argument id_size equal to 0
  • Call osKernelGetInfo from ISR

◆ TC_osKernelGetState_1()

void TC_osKernelGetState_1 ( void  )
  • Call osKernelGetState when the kernel is running
  • Call osKernelGetState when the kernel is locked
  • Call osKernelGetState after the kernel is unlocked
  • Call osKernelGetState from ISR

◆ TC_osKernelGetState_2()

void TC_osKernelGetState_2 ( void  )
  • Call osKernelGetState when the kernel is suspended
  • Call osKernelGetState after resuming the kernel

◆ TC_osKernelGetSysTimerCount_1()

void TC_osKernelGetSysTimerCount_1 ( void  )
  • Call osKernelGetSysTimerCount and check that returned value is non-zero
  • Call osKernelGetSysTimerCount twice with an osDelay of 100 ticks in between
  • Call osKernelGetSysTimerCount from ISR

◆ TC_osKernelGetSysTimerFreq_1()

void TC_osKernelGetSysTimerFreq_1 ( void  )
  • Call osKernelGetSysTimerFreq and check that returned value is non-zero
  • Call osKernelGetSysTimerFreq from ISR

◆ TC_osKernelGetTickCount_1()

void TC_osKernelGetTickCount_1 ( void  )
  • Call osKernelGetTickCount and check that returned value is non-zero
  • Call osKernelGetTickCount twice with an osDelay of 100 ticks in between
  • Call osKernelGetTickCount from ISR

◆ TC_osKernelGetTickFreq_1()

void TC_osKernelGetTickFreq_1 ( void  )
  • Call osKernelGetTickFreq and check that returned value is non-zero
  • Call osKernelGetTickFreq and check that returned value equals to predefine tick frequency
  • Call osKernelGetTickFreq from ISR

◆ TC_osKernelInitialize_1()

void TC_osKernelInitialize_1 ( void  )
  • Call osKernelInitialize when the kernel is already initialized
  • Call osKernelInitialize from ISR

◆ TC_osKernelLock_1()

void TC_osKernelLock_1 ( void  )
  • Call osKernelLock to try lock already locked kernel
  • Call osKernelLock from ISR

◆ TC_osKernelLock_2()

void TC_osKernelLock_2 ( void  )
  • Call osKernelLock to try lock suspended kernel

◆ TC_osKernelRestoreLock_1()

void TC_osKernelRestoreLock_1 ( void  )
  • Call osKernelRestoreLock to lock kernel
  • Call osKernelRestoreLock to unlock kernel
  • Call osKernelRestoreLock from ISR

◆ TC_osKernelResume_1()

void TC_osKernelResume_1 ( void  )
  • Call osKernelResume to resume suspended kernel
  • Call osKernelResume from ISR

◆ TC_osKernelStart_1()

void TC_osKernelStart_1 ( void  )
  • Call osKernelStart when the kernel is already running
  • Call osKernelStart from ISR

◆ TC_osKernelSuspend_1()

void TC_osKernelSuspend_1 ( void  )
  • Call osKernelSuspend to suspend the kernel when no other RTOS objects are active
  • Call osKernelSuspend when the kernel is already suspended
  • Call osKernelSuspend to suspend the kernel with other RTOS objects active
  • Call osKernelSuspend from ISR

◆ TC_osKernelUnlock_1()

void TC_osKernelUnlock_1 ( void  )
  • Call osKernelUnlock to try unlock running kernel
  • Call osKernelUnlock from ISR

◆ TC_osKernelUnlock_2()

void TC_osKernelUnlock_2 ( void  )
  • Call osKernelUnlock to try unlock suspended kernel