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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
117
118
119
120
121
122
123
124
125
126
127
133
134
135
136
137
138
139
140
141
142
143
144
...
...
...
#define TX_SOURCE_CODE
#include "tx_api.h"
#include "tx_trace.h"
#include "tx_timer.h"
...
...
UINT _tx_timer_delete(TX_TIMER *timer_ptr)
{
TX_INTERRUPT_SAVE_AREA
TX_TIMER *next_timer;
TX_TIMER *previous_timer;
TX_DISABLE
if (timer_ptr -> tx_timer_internal.tx_timer_internal_list_head != TX_NULL)
{
_tx_timer_system_deactivate(&(timer_ptr -> tx_timer_internal));
}if (timer_ptr -> tx_timer_internal.tx_timer_internal_list_head != TX_NULL) { ... }
TX_TRACE_IN_LINE_INSERT(TX_TRACE_TIMER_DELETE, timer_ptr, 0, 0, 0, TX_TRACE_TIMER_EVENTS)
TX_TIMER_DELETE_EXTENSION(timer_ptr)
TX_TRACE_OBJECT_UNREGISTER(timer_ptr)
TX_EL_TIMER_DELETE_INSERT
timer_ptr -> tx_timer_id = TX_CLEAR_ID;
_tx_timer_created_count--;
if (_tx_timer_created_count == TX_EMPTY)
{
_tx_timer_created_ptr = TX_NULL;
}if (_tx_timer_created_count == TX_EMPTY) { ... }
else
{
next_timer = timer_ptr -> tx_timer_created_next;
previous_timer = timer_ptr -> tx_timer_created_previous;
next_timer -> tx_timer_created_previous = previous_timer;
previous_timer -> tx_timer_created_next = next_timer;
if (_tx_timer_created_ptr == timer_ptr)
{
_tx_timer_created_ptr = next_timer;
}if (_tx_timer_created_ptr == timer_ptr) { ... }
}else { ... }
TX_TIMER_DELETE_PORT_COMPLETION(timer_ptr)
TX_RESTORE
return(TX_SUCCESS);
}{ ... }