1
10
13
14
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
100
101
102
107
108
109
114
115
116
121
122
123
128
129
130
135
136
137
142
143
144
145
146
147
148
149
...
...
...
#define TX_SOURCE_CODE
#include "tx_api.h"
#include "tx_trace.h"
#include "tx_mutex.h"
...
...
UINT _tx_mutex_info_get(TX_MUTEX *mutex_ptr, CHAR **name, ULONG *count, TX_THREAD **owner,
TX_THREAD **first_suspended, ULONG *suspended_count,
TX_MUTEX **next_mutex)
{
TX_INTERRUPT_SAVE_AREA
TX_DISABLE
TX_TRACE_IN_LINE_INSERT(TX_TRACE_MUTEX_INFO_GET, mutex_ptr, 0, 0, 0, TX_TRACE_MUTEX_EVENTS)
TX_EL_MUTEX_INFO_GET_INSERT
/* ... */
if (name != TX_NULL)
{
*name = mutex_ptr -> tx_mutex_name;
}if (name != TX_NULL) { ... }
if (count != TX_NULL)
{
*count = ((ULONG) mutex_ptr -> tx_mutex_ownership_count);
}if (count != TX_NULL) { ... }
if (owner != TX_NULL)
{
*owner = mutex_ptr -> tx_mutex_owner;
}if (owner != TX_NULL) { ... }
if (first_suspended != TX_NULL)
{
*first_suspended = mutex_ptr -> tx_mutex_suspension_list;
}if (first_suspended != TX_NULL) { ... }
if (suspended_count != TX_NULL)
{
*suspended_count = (ULONG) mutex_ptr -> tx_mutex_suspended_count;
}if (suspended_count != TX_NULL) { ... }
if (next_mutex != TX_NULL)
{
*next_mutex = mutex_ptr -> tx_mutex_created_next;
}if (next_mutex != TX_NULL) { ... }
TX_RESTORE
return(TX_SUCCESS);
}{ ... }