ScoreMtxReqSurrender_Context Struct Reference

Test context for spec:/score/mtx/req/surrender 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.
bool	nested
	If this member is true, then the calling thread shall have seized the mutex recursively.
bool	blocked
	If this member is true, then there shall be a thread blocked waiting for the mutex.
rtems_task_priority	priority_real
	This member contains the real priority of the calling thread.
rtems_task_priority	priority_before
	This member contains the current priority of the calling thread before the directive call.
Status_Control	status
	This member contains the return status of the directive call.
const rtems_tcb *	owner_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.
uint32_t	counter
	This member contains the counter snapshot after the directive call.
TQMtxContext *	tq_ctx
	This member contains a copy of the corresponding ScoreMtxReqSurrender_Run() parameter.
struct {
size_t   pci [8]
	This member defines the pre-condition indices for the next action.
size_t   pcs [8]
	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.
ScoreMtxReqSurrender_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/surrender test case.

---

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

• testsuites/validation/tr-mtx-surrender.c