RTEMS 6.1-rc1
|
Test context for spec:/rtems/timer/req/initiate-server test case. More...
Data Fields | |
rtems_task_priority | before_priority |
If the Timer Server task exists before the action, its priority before the action. | |
size_t | before_stack_size |
If the Timer Server task exists before the action, its stack size before the action. | |
bool | before_has_floating_point |
If the Timer Server task exists before the action, whether the floating point attribute is set before the action. | |
rtems_task_priority | priority |
The priority parameter for the action. | |
size_t | stack_size |
The stack_size parameter for the action. | |
rtems_status_code | status |
The status value returned by the action rtems_timer_initiate_server(). | |
void * | task_objects |
This member is used by the T_seize_objects() and T_surrender_objects() support functions. | |
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. | |
RtemsTimerReqInitiateServer_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/timer/req/initiate-server test case.