![]() |
RTEMS 6.1-rc7
|
Test context for spec:/score/tq/req/flush-priority-inherit test case. More...
Data Fields | |
CallWithinISRRequest | request |
This member contains the call within ISR request. | |
bool | minimum |
If this member is true, then a minimum priority of the owner of the thread queue shall be inherited from a thread enqueued on the thread queue. | |
TQContext * | tq_ctx |
This member contains a copy of the corresponding ScoreTqReqFlushPriorityInherit_Run() parameter. | |
struct { | |
size_t pci [2] | |
This member defines the pre-condition indices for the next action. | |
size_t pcs [2] | |
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. | |
ScoreTqReqFlushPriorityInherit_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 |
Test context for spec:/score/tq/req/flush-priority-inherit test case.