![]() |
RTEMS 6.1
|
Test context for spec:/rtems/sem/req/mrsp-obtain test case. More...
Data Fields | |
| TQContext | tq_ctx |
| This member contains the thread queue test context. | |
| rtems_id | sema_id |
| This member contains the MrsP semaphore to obtain. | |
| rtems_id | task_scheduler |
| This member specifies the scheduler on which the task executes. | |
| bool | task_owns_mrsp_semaphore |
| If this member is true, then the task shall already own a MrsP semaphore. | |
| bool | scheduler_a_idle |
| If this member is true, then an idle task shall execute on scheduler A. | |
| bool | scheduler_b_idle |
| If this member is true, then an idle task shall execute on scheduler B. | |
| bool | second_active |
| If this member is true, then the second task shall be active. | |
| rtems_task_priority | second_priority |
| This member specifies the priority of the second task. | |
| bool | third_active |
| If this member is true, then the third task shall be active. | |
| rtems_task_priority | third_priority |
| This member specifies the priority of the third task. | |
| bool | helping_active |
| If this member is true, then the helping task shall be active. | |
| rtems_task_priority | sema_priority_scheduler_a |
| This member specifies the priority of the MrsP semaphore with respect to scheduler A. | |
| rtems_task_priority | sema_priority_scheduler_b |
| This member specifies the priority of the MrsP semaphore with respect to scheduler B. | |
| struct { | |
| size_t pcs [4] | |
| 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. | |
| RtemsSemReqMrspObtain_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:/rtems/sem/req/mrsp-obtain test case.