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
90
91
92
93
94
95
96
97
103
104
105
111
112
113
119
120
121
127
128
129
135
136
153
154
155
156
157
158
159
160
161
162
163
169
170
171
172
173
189
190
191
197
198
199
200
201
...
...
...
#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_allocate(TX_BYTE_POOL *pool_ptr, VOID **memory_ptr,
ULONG memory_size, ULONG wait_option)
{
UINT status;
#ifndef TX_TIMER_PROCESS_IN_ISR
TX_THREAD *thread_ptr;
#endif
status = TX_SUCCESS;
if (pool_ptr == TX_NULL)
{
status = TX_POOL_ERROR;
}if (pool_ptr == TX_NULL) { ... }
else if (pool_ptr -> tx_byte_pool_id != TX_BYTE_POOL_ID)
{
status = TX_POOL_ERROR;
}else if (pool_ptr -> tx_byte_pool_id != TX_BYTE_POOL_ID) { ... }
else if (memory_ptr == TX_NULL)
{
status = TX_PTR_ERROR;
}else if (memory_ptr == TX_NULL) { ... }
else if (memory_size == ((ULONG) 0))
{
status = TX_SIZE_ERROR;
}else if (memory_size == ((ULONG) 0)) { ... }
else if (memory_size > pool_ptr -> tx_byte_pool_size)
{
status = TX_SIZE_ERROR;
}else if (memory_size > pool_ptr -> tx_byte_pool_size) { ... }
else
{
/* ... */
if (wait_option != TX_NO_WAIT)
{
if (TX_THREAD_GET_SYSTEM_STATE() != ((ULONG) 0))
{
status = TX_WAIT_ERROR;
}if (TX_THREAD_GET_SYSTEM_STATE() != ((ULONG) 0)) { ... }
}if (wait_option != TX_NO_WAIT) { ... }
}else { ... }
#ifndef TX_TIMER_PROCESS_IN_ISR
if (status == TX_SUCCESS)
{
TX_THREAD_GET_CURRENT(thread_ptr)
if (thread_ptr == &_tx_timer_thread)
{
status = TX_CALLER_ERROR;
}if (thread_ptr == &_tx_timer_thread) { ... }
}if (status == TX_SUCCESS) { ... }
/* ... */#endif
if (status == TX_SUCCESS)
{
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)) { ... }
}if (status == TX_SUCCESS) { ... }
if (status == TX_SUCCESS)
{
status = _tx_byte_allocate(pool_ptr, memory_ptr, memory_size, wait_option);
}if (status == TX_SUCCESS) { ... }
return(status);
}{ ... }