1
10
13
14
20
21
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
95
96
97
98
99
111
112
113
124
125
126
127
133
134
135
136
137
...
...
...
#define TX_SOURCE_CODE
#include "tx_api.h"
#include "tx_initialize.h"
#include "tx_thread.h"
#include "tx_timer.h"
#include "tx_byte_pool.h"
5 includes
...
...
UINT _txe_byte_release(VOID *memory_ptr)
{
UINT status;
#ifndef TX_TIMER_PROCESS_IN_ISR
TX_THREAD *thread_ptr;
#endif
status = TX_SUCCESS;
if (memory_ptr == TX_NULL)
{
status = TX_PTR_ERROR;
}if (memory_ptr == TX_NULL) { ... }
else
{
#ifndef TX_TIMER_PROCESS_IN_ISR
TX_THREAD_GET_CURRENT(thread_ptr)
if (thread_ptr == &_tx_timer_thread)
{
status = TX_CALLER_ERROR;
}if (thread_ptr == &_tx_timer_thread) { ... }
/* ... */#endif
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_byte_release(memory_ptr);
}if (status == TX_SUCCESS) { ... }
return(status);
}{ ... }