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

Detailed Description

Test context for spec:/rtems/timer/req/initiate-server test case.

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

Data Fields