51#ifndef _TR_MTX_SEIZE_WAIT_H
52#define _TR_MTX_SEIZE_WAIT_H
67 ScoreMtxReqSeizeWait_Pre_Protocol_None,
68 ScoreMtxReqSeizeWait_Pre_Protocol_Inherit,
69 ScoreMtxReqSeizeWait_Pre_Protocol_Ceiling,
70 ScoreMtxReqSeizeWait_Pre_Protocol_MrsP,
71 ScoreMtxReqSeizeWait_Pre_Protocol_NA
72} ScoreMtxReqSeizeWait_Pre_Protocol;
75 ScoreMtxReqSeizeWait_Pre_Discipline_FIFO,
76 ScoreMtxReqSeizeWait_Pre_Discipline_Priority,
77 ScoreMtxReqSeizeWait_Pre_Discipline_NA
78} ScoreMtxReqSeizeWait_Pre_Discipline;
81 ScoreMtxReqSeizeWait_Pre_DeadlockResult_Status,
82 ScoreMtxReqSeizeWait_Pre_DeadlockResult_Fatal,
83 ScoreMtxReqSeizeWait_Pre_DeadlockResult_NA
84} ScoreMtxReqSeizeWait_Pre_DeadlockResult;
87 ScoreMtxReqSeizeWait_Pre_Recursive_Allowed,
88 ScoreMtxReqSeizeWait_Pre_Recursive_Deadlock,
89 ScoreMtxReqSeizeWait_Pre_Recursive_NA
90} ScoreMtxReqSeizeWait_Pre_Recursive;
93 ScoreMtxReqSeizeWait_Pre_Owner_None,
94 ScoreMtxReqSeizeWait_Pre_Owner_Caller,
95 ScoreMtxReqSeizeWait_Pre_Owner_Other,
96 ScoreMtxReqSeizeWait_Pre_Owner_Deadlock,
97 ScoreMtxReqSeizeWait_Pre_Owner_NA
98} ScoreMtxReqSeizeWait_Pre_Owner;
101 ScoreMtxReqSeizeWait_Pre_Priority_High,
102 ScoreMtxReqSeizeWait_Pre_Priority_Equal,
103 ScoreMtxReqSeizeWait_Pre_Priority_Low,
104 ScoreMtxReqSeizeWait_Pre_Priority_NA
105} ScoreMtxReqSeizeWait_Pre_Priority;
108 ScoreMtxReqSeizeWait_Post_Status_Ok,
109 ScoreMtxReqSeizeWait_Post_Status_MutexCeilingViolated,
110 ScoreMtxReqSeizeWait_Post_Status_DeadlockStatus,
111 ScoreMtxReqSeizeWait_Post_Status_DeadlockFatal,
112 ScoreMtxReqSeizeWait_Post_Status_NA
113} ScoreMtxReqSeizeWait_Post_Status;
116 ScoreMtxReqSeizeWait_Post_Enqueued_No,
117 ScoreMtxReqSeizeWait_Post_Enqueued_FIFO,
118 ScoreMtxReqSeizeWait_Post_Enqueued_Priority,
119 ScoreMtxReqSeizeWait_Post_Enqueued_PriorityInherit,
120 ScoreMtxReqSeizeWait_Post_Enqueued_PriorityCeiling,
121 ScoreMtxReqSeizeWait_Post_Enqueued_PriorityMrsP,
122 ScoreMtxReqSeizeWait_Post_Enqueued_NA
123} ScoreMtxReqSeizeWait_Post_Enqueued;
126 ScoreMtxReqSeizeWait_Post_Owner_Other,
127 ScoreMtxReqSeizeWait_Post_Owner_Caller,
128 ScoreMtxReqSeizeWait_Post_Owner_None,
129 ScoreMtxReqSeizeWait_Post_Owner_NA
130} ScoreMtxReqSeizeWait_Post_Owner;
133 ScoreMtxReqSeizeWait_Post_Priority_Nop,
134 ScoreMtxReqSeizeWait_Post_Priority_Ceiling,
135 ScoreMtxReqSeizeWait_Post_Priority_NA
136} ScoreMtxReqSeizeWait_Post_Priority;
void ScoreMtxReqSeizeWait_Run(TQMtxContext *tq_ctx)
Runs the parameterized test case.
Definition: tr-mtx-seize-wait.c:1087
Definition: tx-thread-queue.h:501
This header file provides the functions to test the Thread Queue Handler.