RTEMS 6.1-rc6
Loading...
Searching...
No Matches
Data Fields

Test context for spec:/score/mtx/req/seize-try test case. More...

Data Fields

bool owner_caller
 If this member is true, then the calling thread shall be the owner of the mutex.
 
bool owner_other
 If this member is true, then a thread other than the calling thread shall be the owner of the mutex.
 
rtems_task_priority priority_before
 This member contains the current priority of the calling thread before the directive call.
 
const rtems_tcbowner_after
 This member contains the owner of the mutex after the directive call.
 
rtems_task_priority priority_after
 This member contains the current priority of the calling thread after the directive call.
 
TQMtxContexttq_ctx
 This member contains a copy of the corresponding ScoreMtxReqSeizeTry_Run() parameter.
 
struct {
   size_t   pci [5]
 This member defines the pre-condition indices for the next action.
 
   size_t   pcs [5]
 This member defines the pre-condition states for the next action.
 
   bool   in_action_loop
 If this member is true, then the test action loop is executed.
 
   size_t   index
 This member contains the next transition map index.
 
   ScoreMtxReqSeizeTry_Entry   entry
 This member contains the current transition map entry.
 
   bool   skip
 If this member is true, then the current transition variant should be skipped.
 
Map
 

Detailed Description

Test context for spec:/score/mtx/req/seize-try test case.


The documentation for this struct was generated from the following file: