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
90
91
92
98
114
115
116
122
123
124
125
126
...
...
...
#define TX_SOURCE_CODE
#include "tx_api.h"
#include "tx_initialize.h"
#include "tx_thread.h"
#include "tx_mutex.h"
...
...
UINT _txe_mutex_put(TX_MUTEX *mutex_ptr)
{
UINT status;
status = TX_SUCCESS;
if (mutex_ptr == TX_NULL)
{
status = TX_MUTEX_ERROR;
}if (mutex_ptr == TX_NULL) { ... }
else if (mutex_ptr -> tx_mutex_id != TX_MUTEX_ID)
{
status = TX_MUTEX_ERROR;
}else if (mutex_ptr -> tx_mutex_id != TX_MUTEX_ID) { ... }
else
{
if (TX_THREAD_GET_SYSTEM_STATE() != ((ULONG) 0))
{
if (TX_THREAD_GET_SYSTEM_STATE() < TX_INITIALIZE_IN_PROGRESS)
{
status = TX_CALLER_ERROR;
}if (TX_THREAD_GET_SYSTEM_STATE() < TX_INITIALIZE_IN_PROGRESS) { ... }
}if (TX_THREAD_GET_SYSTEM_STATE() != ((ULONG) 0)) { ... }
}else { ... }
if (status == TX_SUCCESS)
{
status = _tx_mutex_put(mutex_ptr);
}if (status == TX_SUCCESS) { ... }
return(status);
}{ ... }