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
99
100
101
104
105
106
107
108
109
111
112
113
116
117
118
119
120
121
122
123
124
125
128
129
130
132
133
134
136
137
138
139
140
141
142
143
144
145
148
149
150
...
...
...
#define TX_SOURCE_CODE
#include "tx_api.h"
#include "tx_initialize.h"
#include "tx_thread.h"
#include "tx_timer.h"
TX_PORT_SPECIFIC_DATA
#ifdef TX_SAFETY_CRITICAL
TX_SAFETY_CRITICAL_EXCEPTION_HANDLER
#endif
...
...
VOID _tx_initialize_kernel_enter(VOID)
{
if (_tx_thread_system_state != TX_INITIALIZE_ALMOST_DONE)
{
/* ... */
_tx_thread_system_state = TX_INITIALIZE_IN_PROGRESS;
TX_PORT_SPECIFIC_PRE_INITIALIZATION
/* ... */
_tx_initialize_low_level();
/* ... */
_tx_initialize_high_level();
TX_PORT_SPECIFIC_POST_INITIALIZATION
}if (_tx_thread_system_state != TX_INITIALIZE_ALMOST_DONE) { ... }
TX_INITIALIZE_KERNEL_ENTER_EXTENSION
/* ... */
_tx_thread_system_state = TX_INITIALIZE_IN_PROGRESS;
/* ... */
tx_application_define(_tx_initialize_unused_memory);
/* ... */
_tx_thread_system_state = TX_INITIALIZE_IS_FINISHED;
TX_PORT_SPECIFIC_PRE_SCHEDULER_INITIALIZATION
_tx_thread_schedule();
#ifdef TX_SAFETY_CRITICAL
TX_SAFETY_CRITICAL_EXCEPTION(__FILE__, __LINE__, 0);/* ... */
#endif
}{ ... }