1V "GNAT Lib v9"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_ALLOCATORS
16RV NO_EXCEPTIONS
17RV NO_FIXED_POINT
18RV NO_IMPLICIT_CONDITIONALS
19RV NO_LOCAL_ALLOCATORS
20RV NO_STANDARD_STORAGE_POOLS
21RV NO_UNCHECKED_ACCESS
22RV NO_UNCHECKED_CONVERSION
23RV NO_UNCHECKED_DEALLOCATION
24RV NO_DEFAULT_INITIALIZATION
25RV NO_DYNAMIC_SIZED_OBJECTS
26RV NO_IMPLEMENTATION_ATTRIBUTES
27RV NO_IMPLEMENTATION_PRAGMAS
28RV SPARK_05
29
30U system.task_primitives.operations%b  s-taprop.adb  aa19f389 NE OL PK
31W ada%s			ada.ads			ada.ali
32Z ada.exceptions%s	a-except.adb		a-except.ali
33W ada.unchecked_conversion%s
34W ada.unchecked_deallocation%s
35W interfaces%s		interfac.ads		interfac.ali
36W interfaces.c%s	i-c.adb			i-c.ali
37W system%s		system.ads		system.ali
38W system.interrupt_management%s  s-intman.adb	s-intman.ali
39W system.multiprocessors%s  s-multip.adb	s-multip.ali
40W system.os_constants%s	s-oscons.ads		s-oscons.ali
41W system.os_primitives%s  s-osprim.adb		s-osprim.ali
42W system.soft_links%s	s-soflin.adb		s-soflin.ali
43W system.task_info%s	s-tasinf.adb		s-tasinf.ali
44W system.task_primitives%s  s-taspri.ads	s-taspri.ali
45W system.tasking%s	s-taskin.adb		s-taskin.ali
46W system.tasking.debug%s  s-tasdeb.adb		s-tasdeb.ali
47
48U system.task_primitives.operations%s  s-taprop.ads  4e6136ec BN NE OL PR PK
49W system%s		system.ads		system.ali
50W system.os_interface%s	s-osinte.adb		s-osinte.ali
51W system.parameters%s	s-parame.adb		s-parame.ali
52W system.task_primitives%s  s-taspri.ads	s-taspri.ali
53W system.tasking%s	s-taskin.adb		s-taskin.ali
54
55D ada.ads		20170911084841 76789da1 ada%s
56D a-except.ads		20190108095404 291912d5 ada.exceptions%s
57D a-unccon.ads		20170908151217 0e9b276f ada.unchecked_conversion%s
58D a-uncdea.ads		20170908151217 eff36322 ada.unchecked_deallocation%s
59D interfac.ads		20190108095404 5ab55268 interfaces%s
60D i-c.ads		20170908151217 5421119b interfaces.c%s
61D system.ads		20190108095404 c631886f system%s
62D s-atacco.ads		20190108095404 4c36d12f system.address_to_access_conversions%s
63D s-exctab.ads		20190108095404 54135002 system.exception_table%s
64D s-intman.ads		20190108095404 47ba1e06 system.interrupt_management%s
65D s-multip.ads		20170908151217 38ac9f73 system.multiprocessors%s
66D s-oscons.ads		20190530223756 55351b7b system.os_constants%s
67D s-osinte.ads		20190108095404 5683511e system.os_interface%s
68D s-osprim.ads		20190108095404 07fd65f6 system.os_primitives%s
69D s-parame.ads		20190108095404 48ec542b system.parameters%s
70D s-secsta.ads		20190108095404 20bbe636 system.secondary_stack%s
71D s-soflin.ads		20190108095404 a7318a92 system.soft_links%s
72D s-stache.ads		20190108095404 a37c21ec system.stack_checking%s
73D s-stausa.ads		20190108095404 017a0a05 system.stack_usage%s
74D s-stalib.ads		20190108095404 09bd3940 system.standard_library%s
75D s-stoele.ads		20190108095404 2dc34a04 system.storage_elements%s
76D s-tasinf.ads		20190108095404 801abd01 system.task_info%s
77D s-taspri.ads		20190108095404 f40ac08d system.task_primitives%s
78D s-taprop.ads		20190108095404 1dd2e1b6 system.task_primitives.operations%s
79D s-taprop.adb		20190108095404 810dff12 system.task_primitives.operations%b
80D s-tpoaal.adb		20190108095404 0239874f system.task_primitives.operations.atcb_allocation
81D s-tpopmo.adb		20190108095404 cc8f58f7 system.task_primitives.operations.monotonic
82D s-tporft.adb		20190108095404 8f1c0d3c system.task_primitives.operations.register_foreign_thread
83D s-tpopsp.adb		20190108095404 c0263bb3 system.task_primitives.operations.specific
84D s-taskin.ads		20190108095404 b9d612e2 system.tasking%s
85D s-tasdeb.ads		20190108095404 dfa965f6 system.tasking.debug%s
86D s-traent.ads		20190108095404 005bf670 system.traceback_entries%s
87D s-unstyp.ads		20190108095404 34867c83 system.unsigned_types%s
88X 1 ada.ads
8916K9*Ada 20e8 25|47r6 211r10 819r9 26|32r6 46r9
90X 3 a-unccon.ads
9120v14*Unchecked_Conversion 25|47w10 211r14 819r13
92X 4 a-uncdea.ads
9320u15*Unchecked_Deallocation 26|32w10 46r13
94X 5 interfac.ads
9538K9*Interfaces 184e15 25|49r6 70r8 247r16 283r20 330r16 346r33 373r20 389r33
96. 415r16 422r16 435r16 450r16 459r16 482r16 491r16 500r16 533r16 594r16 605r16
97. 624r16 685r22 721r20 746r21 813r29 814r38 815r31 816r29 825r10 915r16 950r16
98. 968r20 1042r16 1073r16 1094r16 1129r16 1290r17 27|58r16 73r16 154r20 243r20
99. 29|46r16 66r16
100X 6 i-c.ads
10118K20*C 230e17 25|49w17 70r19 247r27 283r31 330r27 346r44 373r31 389r44 415r27
102. 422r27 435r27 450r27 459r27 482r27 491r27 500r27 533r27 594r27 605r27 624r27
103. 685r33 721r31 746r32 813r40 814r49 815r42 816r40 825r21 915r27 950r27 968r31
104. 1042r27 1073r27 1094r27 1129r27 1290r28 27|58r27 73r27 154r31 243r31 29|46r27
105. 66r27
10635I9*int<integer> 25|247r29 283r33 330r29 346r46 373r33 389r46 415r29 422r29
107. 435r29 450r29 459r29 482r29 491r29 500r29 533r29 594r29 605r29 624r29 685r35
108. 721r33 746r34 816r42 915r29 950r29 968r33 1042r29 1073r29 1094r29 1129r29
109. 1290r30 27|58r29 73r29 154r33 243r33 29|46r29 66r29
11043M9*unsigned
11145M9*unsigned_long
11260M9*size_t 25|813r42 814r51 815r44 825r23
113X 7 system.ads
11437K9*System 148e11 24|35r6 36r6 37r6 39r9 42r23 43r24 52r20 53r20 54r20 149r14
115. 304r14 324r14 337r50 361r17 385r18 399r16 571r5 25|51r6 52r6 53r6 54r6
116. 55r6 57r6 63r14 65r24 66r24 68r8 69r8 71r8 72r8 73r8 164r21 211r45 326r14
117. 389r51 516r14 529r17 592r44 619r29 627r35 666r47 746r39 807r20 808r20 809r20
118. 819r35 821r11 865r18 870r18 875r18 956r23 1293r16 1317r13 1343r12 1354r23
119. 1375r5 26|34r11 27|34r11 142r18 28|32r6 33r6 34r6 36r11 55r42 65r4 68r7
120. 68r30 97r4 29|34r11 58r49
12167M9*Address 24|52r27 25|211r52 281r29 282r20 290r23 807r27 819r42
12269m4*Null_Address{67M9} 28|66r22 93r43 29|58r56
12381V14*"="{boolean} 27|107r34 29|58r46
124100I12*Any_Priority{integer} 24|54r27 149r21 304r21 324r21 337r57 25|326r21
125. 389r58 516r21 619r36 627r42 666r54 746r46 809r27
126101I12*Priority{100I12} 28|55r49 68r14
127146b4 ZCX_By_Default{boolean} 25|256r10
128X 10 s-intman.ads
12950K16*Interrupt_Management 111e32 25|52w13 956r30 1293r23 1309r7 1316r16
130. 1317r20 1343r19 1354r30
13155I9*Interrupt_ID<6|35I9> 25|1293r44 1316r37
13258A9*Interrupt_Set(boolean)<55I9>
13373i4*Abort_Task_Interrupt{55I9} 25|956r51 1343r40 1354r51
13477a4*Keep_Unmasked{58A9} 25|1317r41
13592U14*Initialize 25|1309s28
136X 11 s-multip.ads
13716K16*Multiprocessors 28e27 28|32w13 68r37
13819I9*CPU_Range<integer>
13923i4*Not_A_Specific_CPU{19I9} 28|68r53
140X 12 s-oscons.ads
14144K16*OS_Constants 414e24 25|53w13 65r31
142402N4*CLOCK_REALTIME 27|76r35 107r40
143405N4*CLOCK_RT_Ada 27|61r26 107r21
144X 13 s-osinte.ads
14546K16*OS_Interface 652e24 24|37w13 43r31 25|71r15
14651I12*int{6|35I9} 25|214r48
14754M12*unsigned{6|43M9}
14859M12*size_t{6|60M9} 25|294r15
14968N4*EAGAIN 25|898r50
15069N4*EINTR 25|545r50 1165r59 27|202r28 300r28
15170N4*EINVAL 25|442r37
15271N4*ENOMEM 25|334r50 336r19 356r50 358r19 377r50 379r19 399r50 401r19 733r53
153. 761r56 774r50 783r53 846r50 979r50 981r19 986r50 988r19 1001r50 1018r50
15472N4*ETIMEDOUT 27|207r24 295r24
15579I9*Signal<6|35I9> 25|206r35 241r35 956r15 1318r64 1354r15
156132A9*sigset_t(54M12) 25|97r36 245r25 1289r25
157134V13*sigaddset{51I12} 25|1318s23
158152V13*sigemptyset{51I12} 25|1313s17 1348s20
159166m7*sa_handler{7|67M9} 25|1346m14
160167i7*sa_flags{51I12} 25|1345m14
161168a7*sa_mask{132A9} 25|1350m14
162172R12*struct_sigaction{165R9} 25|1287r25 1288r25
163176N4*SIG_UNBLOCK 25|268r37
164185V13*sigaction{51I12} 25|1353s12
165195b4*Time_Slice_Supported{boolean} 25|639r10
166198R9*timespec 641e14 27|57r24 72r24 153r28 241r28
167203M9*clockid_t<6|45M9>
168205V13*clock_getres{51I12} 27|76s17
169210V13*clock_gettime{51I12} 27|60s17
170211m7 clock_id{203M9} 27|61r10
171212p7 tp(198R9) 27|61r40
172216V13*To_Duration{duration} 27|64s14 79s14
173219V13*To_Timespec{198R9} 27|187s24 280s24
174235N4*SCHED_FIFO 25|652r33
175236N4*SCHED_OTHER 25|656r33
176237N4*SCHED_RR 25|645r33
177239V13*To_Target_Priority{6|35I9} 25|637s31
178259V13*lwp_self{7|67M9} 25|678s32
179269P9*Thread_Body(7|67M9) 25|819r51
180276M9*pthread_t<7|67M9>
181277M12*Thread_Id{276M9} 24|411r55 531r25 540r25 25|192r24 198r24 304r55 1233r21
182. 1246r21 28|38r21
183279M9*pthread_mutex_t<7|67M9>
184280M9*pthread_cond_t<7|67M9>
185281M9*pthread_attr_t<7|67M9> 25|812r37
186282M9*pthread_mutexattr_t<7|67M9> 25|329r28 372r28 720r28 966r28
187283M9*pthread_condattr_t<7|67M9> 25|214r21 722r28 967r28
188284I9*pthread_key_t<6|35I9> 29|37r23
189286N4*PTHREAD_CREATE_DETACHED 25|855r31
190289N4*PTHREAD_SCOPE_PROCESS 25|868r40
191290N4*PTHREAD_SCOPE_SYSTEM 25|873r40
192304R9*stack_t 308e14 25|684r30
193305m7*ss_sp{7|67M9} 25|687m19
194306m7*ss_size{59M12} 25|688m19
195307i7*ss_flags{51I12} 25|689m19
196311V13*sigaltstack{51I12} 25|690s23
197316m4*Alternate_Stack{7|67M9} 25|1331m12 1331r12
198322b4*Stack_Base_Available{boolean} 25|286r10 827r10
199328V13*Get_Stack_Base{7|67M9} 25|281s40
200333V13*Get_Page_Size{51I12} 25|290s32 815s52
201342N4*PROT_ON 25|295r35
202343N4*PROT_OFF 25|295r48
203345V13*mprotect{51I12} 25|292s12
204345i53 prot{51I12} 25|295r15
205368V13*pthread_kill{51I12} 25|954s12
206373V13*pthread_sigmask{51I12} 25|268s20
207383V13*pthread_mutexattr_init{51I12} 25|333s17 376s17 732s20 978s17
208387V13*pthread_mutexattr_destroy{51I12} 25|359s20 363s17 402s20 406s17 769s20
209. 989s20 995s17
210391V13*pthread_mutex_init{51I12} 25|355s17 398s17 758s15 985s17
211396V13*pthread_mutex_destroy{51I12} 25|417s17 424s17 790s23 919s20 1004s20
212. 1021s20 1047s17
213399V13*pthread_mutex_lock{51I12} 25|438s17 453s20 462s20 1078s17 1099s17
214. 1134s17
215402V13*pthread_mutex_unlock{51I12} 25|484s17 494s20 503s20 1083s17 1118s17
216. 1143s20 1171s20
217405V13*pthread_condattr_init{51I12} 25|773s17 1000s17
218409V13*pthread_condattr_destroy{51I12} 25|797s17 1024s20 1033s17
219413V13*pthread_cond_init{51I12} 25|781s12 1017s17
220418V13*pthread_cond_destroy{51I12} 25|923s17 1052s17
221421V13*pthread_cond_signal{51I12} 25|596s17 1111s20
222424V13*pthread_cond_wait{51I12} 25|537s9 1164s26
223425p7 cond(280M9) 25|538r12
224426p7 mutex(23|49M9) 25|539r12
225429V13*pthread_cond_timedwait{51I12} 27|194s18 287s18
226430p7 cond(280M9) 27|195r21 288r21
227431p7 mutex(23|49M9) 27|196r21 289r21
228432p7 abstime(198R9) 27|199r21 292r21
229443N4*PTHREAD_PRIO_PROTECT 25|342r32 385r32 740r21
230444N4*PTHREAD_PRIO_INHERIT 25|351r32 394r32 753r21
231446V13*pthread_mutexattr_setprotocol{51I12} 25|341s20 350s20 384s20 393s20
232. 738s18 751s18
233458V13*pthread_mutexattr_setprioceiling{51I12} 25|345s20 388s20 744s18
234472R9*struct_sched_param 474e14 25|625r24
235473i7*sched_priority{51I12} 25|637m13
236483V13*pthread_setschedparam{51I12} 25|644s20 651s20 655s20
237489V13*pthread_attr_setscope{51I12} 25|867s18 872s18
238533V13*sched_yield{51I12} 25|609s20 27|323s17
239540V13*pthread_attr_init{51I12} 25|845s17
240543V13*pthread_attr_destroy{51I12} 25|902s17
241547V13*pthread_attr_setdetachstate{51I12} 25|854s9
242565V13*pthread_attr_setstacksize{51I12} 25|859s9
243571V13*pthread_create{51I12} 25|893s17
244584V13*pthread_self{276M9} 25|677s35 711s42
245591V13*pthread_setspecific{51I12} 29|68s17
246596V13*pthread_getspecific{7|67M9} 29|58s15 78s26
247602V13*pthread_key_create{51I12} 29|48s17
248X 14 s-osprim.ads
24940K16*OS_Primitives 89e25 25|54w13 73r15 27|118r51
25043o4*Max_Sensible_Delay{duration} 27|98r42 110r49 124r42 177r35 270r35
25155o4*Max_System_Delay{duration} 27|177r16 178r40 180r43 270r16 271r39 273r43
25264V13*Clock{duration} 27|118s65
25370N4*Relative 27|97r17
25472N4*Absolute_RT 27|106r20
255X 15 s-parame.ads
25651K16*Parameters 198e22 24|35w13 53r27 25|72r15 808r27
25758I9*Size_Type<long_integer> 24|53r38 25|193r24 199r24 808r38 28|39r21
25867i4*Unspecified_Size{58I9} 25|193r37 199r37 28|39r34
259154b4*Single_Lock{boolean} 25|452r14 461r14 493r14 502r14 539r25 731r14 789r17
260. 918r14 27|196r36 247r10 289r36 318r10
261X 17 s-soflin.ads
26247K16*Soft_Links 415e22 25|57w13 66r31 28|33w13 97r11
26364P9*No_Param_Proc
264174p4*Abort_Defer{64P9} 25|1076r11 1097r11 1132r11
265178p4*Abort_Undefer{64P9} 25|1086r11 1121r11 1146r14 1174r14
266353U14*Create_TSD 28|97s22
267X 19 s-stausa.ads
268203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
269268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
270X 22 s-tasinf.ads
27142K16*Task_Info 93e21 25|55w13 821r18 865r25 870r25 875r25 28|34w13 69r7
27276n7*Process_Scope{75E9} 25|865r35
27379n7*System_Scope{75E9} 25|870r35
27482n7*Default_Scope{75E9} 25|863r32 875r35
27584E9*Task_Info_Type<75E9>
27690e4*Unspecified_Task_Info{84E9} 28|69r17
277X 23 s-taspri.ads
27843K16*Task_Primitives 7|37k9 23|120e27 24|39r16 571r12 25|63r21 1375r12 26|34r18
279. 27|34r18 28|36r18 29|34r18
28046R9*Lock 80e14 24|150r30 175r49 182r43 213r43 237r27 303r30 25|327r30 414r49
281. 433r27 472r27 481r42 515r30
28249M9*RTS_Lock<13|279M9> 24|152r31 176r49 185r37 239r37 25|82r30 368r27 421r49
283. 447r37 489r27
28454R9*Suspension_Object 97e14 24|490r32 493r36 496r35 501r45 508r37 511r35
285. 25|965r37 1041r35 1060r32 1072r36 1093r35 1128r45
28670N4*Alternate_Stack_Size 25|115r46 688r31 825r44
28779m7*WO{49M9} 25|355m39 417m42 438m39 484m41
28883b7*State{boolean} 25|973m9 1065r16 1081m9 1109m12 1115m12 1155r15 1156m15
28989b7*Waiting{boolean} 25|974m9 1107r12 1108m12 1137r12 1158m15 1167r32
29092m7*L{49M9} 25|985m39 1004m45 1021m45 1047m42 1078m39 1083m41 1099m39 1118m41
291. 1134m39 1143m44 1164m60 1171m44
29295m7*CV{13|280M9} 25|1017m38 1052m41 1111m43 1164m47
293100m7*Thread{13|276M9} 25|281r68 306r26 645r25 652r25 656r25 677m25 894m22
294. 955r27 26|57m34 57r63 28|54m25
295108m7*LWP{7|67M9} 25|678m25
296113m7*CV{13|280M9} 25|538m39 596m50 782m33 923m51 27|195m50 288m50
297116m7*L{49M9} 25|462m52 503m54 541m45 759m36 790m64 919m55 27|198m56 291m56
298X 24 s-taprop.ads
29939K32*Operations 23|43k16 24|571l28 571e38 25|63b37 1375l28 1375t38 26|34r34
300. 27|34r34 28|36r34 29|34r34
30142K12*ST=42:30 45r45 51r20 76r36 96r38 96r66 100r32 106r35 106r63 109r40
302. 113r32 121r30 135r25 188r11 242r11 323r11 337r31 360r17 382r18 384r18 391r17
303. 393r17 398r16 405r37 411r32 418r44 461r31 521r35 525r39 530r21 539r21 552r28
304. 557r32 566r37 25|161r21 163r21 170r20 172r20 280r31 304r32 559r18 574r17
305. 1184r35 1194r39 1232r21 1245r21 1266r28 1276r32 1366r37 27|43r20 88r20
306. 139r18 141r18 233r17 235r17
30743K12*OSI=43:31 411r51 531r21 540r21 25|304r51
30845U14*Initialize 45>26 25|1286b14 1360l8 1360t18
30945p26 Environment_Task{30|109P9} 25|1286b26 1307r30 1327r28 1330r10 1337r42
310. 1338r7 1340r19
31150U14*Create_Task 51>7 52>7 53>7 54>7 55<7 56r19 25|805b14 908l8 908t19
31251p7 T{30|109P9} 25|806b7 863r10 864r15 894r10 897r22 906r24
31352m7 Wrapper{7|67M9} 25|807b7 896r30
31453i7 Stack_Size{15|58I9} 25|808b7 825r31
31554i7 Priority{7|100I12} 25|809b7 906r27
31655b7 Succeeded{boolean} 25|810b7 849m10 900m7 905r10
31776U14*Enter_Task 76>26 77r19 25|675b14 694l8 694t18 1340s7 28|100s4
31876p26 Self_ID{30|109P9} 25|675b26 677r7 678r7 680r21 687r31
31984U14*Exit_Task 85r19 25|937b14 943l8 943t17
32094K12*ATCB_Allocation 104l8 104e23 107r14 25|184b17 930r7 26|35b14 83l5 83t20
32196V16*New_ATCB{30|109P9} 96>26 97r22 107r30 26|78b13 81l8 81t16
32296i26 Entry_Num{30|237I9} 26|78b23 80r42
323100U17*Free_ATCB 100>28 101r22 25|930s23 26|41b14 72l8 72t17
324100p28 T{30|109P9} 26|41b25 42r28 43r37 57r51 58r51
325106V13*New_ATCB=107:30{30|109P9}
326106i23 Entry_Num{30|237I9}
327109U14*Initialize_TCB 109>30 109<52 110r19 25|719b14 799l8 799t22
328109p30 Self_ID{30|109P9} 25|719b30 727r7 759r18 782r15 790r46
329109b52 Succeeded{boolean} 25|719b49 765m13 787m10 794m10
330113U14*Finalize_TCB 113>28 114r19 25|914b14 931l8 931t20
331113p28 T{30|109P9} 25|914b28 919r43 923r39 926r10 927r23 930r34
332121U14*Abort_Task 121>26 122r19 25|949b14 959l8 959t18
333121p26 T{30|109P9} 25|949b26 955r15
334135V13*Self{30|109P9} 136r19 25|244s37 313b13 709s17 26|43s41
335139E9*Lock_Level 143e18 153r15 25|368r45
336140n7*PO_Level{139E9}
337141n7*Global_Task_Level{139E9}
338142n7*RTS_Lock_Level{139E9} 25|1325r48
339143n7*ATCB_Level{139E9}
340148U14*Initialize_Lock 149>7 150^7 25|325b14 365l8 365t23
341149i7 Prio{7|100I12} 25|326b7 346r51
342150p7 L(23|46R9) 25|327b7 355r37
343151U14*Initialize_Lock 152^7 153>7 25|367b14 408l8 408t23 1325s7
344152p7 L(23|49M9) 25|368b7 398r37
345153e7 Level{139E9} 25|368b37 370r28
346175U14*Finalize_Lock 175^29 25|414b14 419l8 419t21
347175p29 L(23|46R9) 25|414b29 417r40
348176U14*Finalize_Lock 176^29 25|421b14 426l8 426t21
349176p29 L(23|49M9) 25|421b29 424r40
350181U14*Write_Lock 182^7 183<7 25|432b14 444l8 444t18 474s7
351182p7 L(23|46R9) 25|433b7 438r37
352183b7 Ceiling_Violation{boolean} 25|433b33 442m7 443r41
353184U14*Write_Lock 185^7 186>7 25|446b14 456l8 456t18 1215s7
354185p7 L(23|49M9) 25|447b7 453r40
355186b7 Global_Lock{boolean} 25|448b7 452r34 1215r43
356187U14*Write_Lock 188>7 25|458b14 465l8 465t18 27|251s7
357188p7 T{30|109P9} 25|458b26 462r40
358212U14*Read_Lock 213^7 214<7 215r19 25|471b14 475l8 475t17
359213p7 L(23|46R9) 25|472b7 474r19
360214b7 Ceiling_Violation{boolean} 25|472b33 474m22
361236U14*Unlock 237^7 25|481b14 486l8 486t14
362237p7 L(23|46R9) 25|481b22 484r39
363238U14*Unlock 239^7 240>7 25|488b14 497l8 497t14 1224s7
364239p7 L(23|49M9) 25|489b7 494r42
365240b7 Global_Lock{boolean} 25|489b37 493r34 1224r39
366241U14*Unlock 242>7 25|499b14 506l8 506t14 27|316s7
367242p7 T{30|109P9} 25|499b22 503r42
368302U14*Set_Ceiling 303^7 304>7 305r19 25|514b14 521l8 521t19
369303p7 L(23|46R9) 25|515b7 518r28
370304i7 Prio{7|100I12} 25|516b7 518r31
371314U14*Yield 314>21 315r19 25|604b14 611l8 611t13
372314b21 Do_Yield{boolean} 25|604b21 608r10
373322U14*Set_Priority 323>7 324>7 325>7 326r19 25|617b14 660l8 660t20 906s10
374323p7 T{30|109P9} 25|618b7 636r7 645r13 652r13 656r13
375324i7 Prio{7|100I12} 25|619b7 631r68 636r36 637r51
376325b7 Loss_Of_Inheritance{boolean} 25|620b7 622r28
377337V13*Get_Priority{7|100I12} 337>27 338r19 25|666b13 669l8 669t20
378337p27 T{30|109P9} 25|666b27 668r14
379341V13*Monotonic_Clock{duration} 342r19 25|580b13
380347V13*RT_Resolution{duration} 348r19 25|586b13
381359U14*Sleep 360>7 361>7 362r19 25|527b14 546l8 546t13
382360p7 Self_ID{30|109P9} 25|528b7 538r21 541r27
383361e7 Reason{30|132E9} 25|529b7 531r28
384381U14*Timed_Sleep 382>7 383>7 384>7 385>7 386<7 387<7 25|556b14
385382p7 Self_ID{30|109P9} 25|557b7
386383o7 Time{duration} 25|558b7
387384i7 Mode{30|217I12} 25|559b7
388385e7 Reason{30|132E9} 25|560b7
389386b7 Timedout{boolean} 25|561b7
390387b7 Yielded{boolean} 25|562b7
391390U14*Timed_Delay 391>7 392>7 393>7 25|571b14
392391p7 Self_ID{30|109P9} 25|572b7
393392o7 Time{duration} 25|573b7
394393i7 Mode{30|217I12} 25|574b7
395397U14*Wakeup 398>7 399>7 400r19 25|592b14 598l8 598t14
396398p7 T{30|109P9} 25|592b22 596r38
397399e7 Reason{30|132E9} 25|592b35 593r28
398405V13*Environment_Task{30|109P9} 406r19 25|1204b13 1207l8 1207t24
399411V13*Get_Thread_Id{13|277M12} 411>28 25|304b13 307l8 307t21
400411p28 T{30|109P9} 25|304b28 306r14
401414V13*Is_Valid_Task{boolean} 415r19 25|700b13 708s10
402418V13*Register_Foreign_Thread{30|109P9} 25|706b13 713l8 713t31
403434U14*Lock_RTS 25|1213b14 1216l8 1216t16 27|248s10 28|64s4
404437U14*Unlock_RTS 25|1222b14 1225l8 1225t18 27|319s10 28|70s4
405461U14*Stack_Guard 461>27 461>43 25|280b14 298l8 298t19
406461p27 T{30|109P9} 25|280b27 281r56
407461b43 On{boolean} 25|280b43 295r27
408490V13*Current_State{boolean} 490>28 25|1060b13 1066l8 1066t21
409490r28 S{23|54R9} 25|1060b28 1065r14
410493U14*Set_False 493=25 25|1072b14 1087l8 1087t17
411493r25 S{23|54R9} 25|1072b25 1078m37 1078r37 1081m7 1083m39 1083r39
412496U14*Set_True 496=24 25|1093b14 1122l8 1122t16
413496r24 S{23|54R9} 25|1093b24 1099m37 1099r37 1107r10 1108m10 1109m10 1111m41
414. 1111r41 1115m10 1118m39 1118r39
415501U14*Suspend_Until_True 501=34 25|1128b14 1176l8 1176t26
416501r34 S{23|54R9} 25|1128b34 1134m37 1134r37 1137r10 1143m42 1143r42 1155r13
417. 1156m13 1158m13 1164m45 1164r45 1164m58 1164r58 1167r30 1171m42 1171r42
418508U14*Initialize 508=26 25|965b14 1035l8 1035t18
419508r26 S{23|54R9} 25|965b26 973m7 974m7 985m37 985r37 1004m43 1004r43 1017m36
420. 1017r36 1021m43 1021r43
421511U14*Finalize 511=24 25|1041b14 1054l8 1054t16
422511r24 S{23|54R9} 25|1041b24 1047m40 1047r40 1052m39 1052r39
423521V13*Check_Exit{boolean} 521>25 522r19 25|1184b13 1188l8 1188t18
424521p25 Self_ID{30|109P9} 25|1184b25 1185r28
425525V13*Check_No_Locks{boolean} 525>29 526r19 25|1194b13 1198l8 1198t22
426525p29 Self_ID{30|109P9} 25|1194b29 1195r28
427529V13*Suspend_Task{boolean} 530>7 531>7 25|1231b13 1238l8 1238t20
428530p7 T{30|109P9} 25|1232b7 1235r28
429531m7 Thread_Self{13|277M12} 25|1233b7 1235r31
430538V13*Resume_Task{boolean} 539>7 540>7 25|1244b13 1251l8 1251t19
431539p7 T{30|109P9} 25|1245b7 1248r28
432540m7 Thread_Self{13|277M12} 25|1246b7 1248r31
433546U14*Stop_All_Tasks 25|1257b14 1260l8 1260t22
434552V13*Stop_Task{boolean} 552>24 25|1266b13 1270l8 1270t17
435552p24 T{30|109P9} 25|1266b24 1267r28
436557V13*Continue_Task{boolean} 557>28 25|1276b13 1280l8 1280t21
437557p28 T{30|109P9} 25|1276b28 1277r28
438566U14*Set_Task_Affinity 566>33 25|1366b14 1373l8 1373t25
439566p33 T{30|109P9} 25|1366b33 1367r28
440X 25 s-taprop.adb
44165K12 OSC=65:31 27|61r22 76r31 107r17 107r36
44266K12 SSL=66:31 1076r7 1086r7 1097r7 1121r7 1132r7 1146r10 1174r10
44382m4 Single_RTS_Lock{23|49M9} 540m27 540r27 1215m19 1215r19 1224m15 1224r15
444. 1325m24 1325r24 27|197m38 197r38 290m38 290r38
44587p4 Environment_Task_Id{30|109P9} 1206r14 1307m7
44690e4 Locking_Policy{character} 91m22 91r22 340r10 349r13 383r10 392r13 736r16
447. 749r19
44897a4 Unblocked_Signal_Mask{13|132A9} 269m12 269r12 1313m30 1313r30 1318m34
449. 1318r34
450102m4 Next_Serial_Number{30|963M9} 727r32 728m7 728r29 729r22
451106i4 Time_Slice_Val{integer} 107m22 107r22 642r27 649r17
452109e4 Dispatching_Policy{character} 110m22 110r22 640r19 647r13
453112b4 Foreign_Task_Elaborated{boolean} 28|67m7 67r7
454115b4 Use_Alternate_Stack{boolean} 682r10 1329r10
455118b4 Abort_Handler_Installed{boolean} 952r10 1358m10
456125K12 Specific 143l8 143e16 145b17 313r41 680r7 700r50 942r7 1327r7 26|60r13
457. 66r13 28|56r4 29|35b14 81l5 81t13
458127U17*Initialize 127>29 1327s16 29|44b14 50l8 50t18
459127p29 Environment_Task{30|109P9} 29|44b26 45r29
460131V16*Is_Valid_Task{boolean} 132r22 700r59 29|56b13 59l8 59t21
461135U17*Set 135>22 136r22 680s16 942s16 26|60s22 66s22 28|56s13 29|65b14 70l8
462. 70t11
463135p22 Self_Id{30|109P9} 29|65b19 68r60
464139V16*Self{30|109P9} 140r22 313r50 29|76b13 79l8 79t12
465148K12 Monotonic 176l8 176e17 178b17 562r39 574r41 580r53 586r51 27|35b14
466. 326l5 326t14
467150V16*Monotonic_Clock{duration} 151r22 580r63 27|56b13 65l8 65t23 93s21
468. 209s36 297s36
469156V16*RT_Resolution{duration} 157r22 586r61 27|71b13 80l8 80t21
470160U17*Timed_Sleep 161>10 162>10 163>10 164>10 165<10 166<10 562r49 27|138b14
471. 223l8 223t19
472161p10 Self_ID{30|109P9} 27|139b7 191r24 191r52 195r32 198r38
473162o10 Time{duration} 27|140b7 162r24
474163i10 Mode{30|217I12} 27|141b7 163r24
475164e10 Reason{30|132E9} 27|142b7 146r28
476165b10 Timedout{boolean} 27|143b7 158m7 204m22
477166b10 Yielded{boolean} 27|144b7 159m7
478169U17*Timed_Delay 170>10 171>10 172>10 574r51 27|232b14 324l8 324t19
479170p10 Self_ID{30|109P9} 27|233b7 251r19 265r10 284r23 284r51 288r32 291r38
480. 313r10 316r15
481171o10 Time{duration} 27|234b7 254r24
482172i10 Mode{30|217I12} 27|235b7 255r24
483191V13 Register_Foreign_Thread{30|109P9} 192>7 193>7 197b13 711s17 28|37b10
484. 103l5 103t28
485192m7 Thread{13|277M12} 198b7 28|38b4 54r35
486193i7 Sec_Stack_Size{15|58I9} 199b7 28|39b4 98r43
487206U14 Abort_Handler 206>29 241b14 274l8 274t21 1346r28
488206i29 Sig{13|79I9} 241b29 242r28
489210V13 To_Address[3|20]{7|67M9} 897s10
490213V13 GNAT_pthread_condattr_setup{13|51I12} 214^7 216b<c,__gnat_pthread_condattr_setup>6
491. 777s20 1013s20
492214p7 attr(13|283M9)
493244p7 T{30|109P9} 260r10 261r18 261r40 262r13 264r10
494245a7 Old_Set{13|132A9} 269m42 269r42
495247i7 Result{6|35I9} 248r29 268m10 270r25
496281m7 Stack_Base{7|67M9} 293r15 293r29
497282m7 Page_Size{7|67M9} 290m10 293r44 293r57 294r23
498283i7 Res{6|35I9} 291m10 296r25
499329m7 Attributes{13|282M9} 333m41 333r41 342m13 342r13 346m14 346r14 351m13
500. 351r13 355m50 355r50 359m47 359r47 363m44 363r44
501330i7 Result{6|35I9} 333m7 334r22 334r41 336r10 341m10 343r25 345m10 347r25
502. 350m10 352r25 355m7 356r22 356r41 358r10 359m10 363m7 364r22
503372m7 Attributes{13|282M9} 376m41 376r41 385m13 385r13 389m14 389r14 394m13
504. 394r13 398m40 398r40 402m47 402r47 406m44 406r44
505373i7 Result{6|35I9} 376m7 377r22 377r41 379r10 384m10 386r25 388m10 390r25
506. 393m10 395r25 398m7 399r22 399r41 401r10 402m10 406m7 407r22
507415i7 Result{6|35I9} 417m7 418r22
508422i7 Result{6|35I9} 424m7 425r22
509435i7 Result{6|35I9} 438m7 442r28 443r22
510450i7 Result{6|35I9} 453m10 454r25
511459i7 Result{6|35I9} 462m10 463r25
512482i7 Result{6|35I9} 484m7 485r22
513491i7 Result{6|35I9} 494m10 495r25
514500i7 Result{6|35I9} 503m10 504r25
515533i7 Result{6|35I9} 536m7 545r22 545r41
516594i7 Result{6|35I9} 596m7 597r22
517605i7 Result{6|35I9} 606r28 609m10
518624i7 Result{6|35I9} 644m10 651m10 655m10 659r22
519625r7 Param{13|472R9} 637m7 645m43 645r43 652m45 652r45 656m46 656r46
520627V16*Get_Policy{character} 627>28 628b<c,__gnat_get_specific_dispatching>25
521. 631s56
522627i28 Prio{7|100I12}
523631e7 Priority_Specific_Policy{character} 641r27 648r17
524684r13 Stack{13|304R9} 687m13 688m13 689m13 690m36 690r36
525685i13 Result{6|35I9} 690m13 691r28
526720m7 Mutex_Attr{13|282M9} 732m44 732r44 739m21 739r21 745m21 745r21 752m21
527. 752r21 760m18 760r18 769m47 769r47
528721i7 Result{6|35I9} 732m10 733r25 733r44 735r13 737m16 741r31 743m16 747r31
529. 750m16 754r31 757m13 761r28 761r47 764r13 769m10 770r25 773m7 774r22 774r41
530. 776r10 777m10 778r25 780m10 783r25 783r44 786r10 790m13 791r28 797m7 798r22
531722m7 Cond_Attr{13|283M9} 773m40 773r40 777m49 777r49 782m44 782r44 797m43
532. 797r43
533812m7 Attributes{13|281M9} 845m36 845r36 855m12 855r12 860m12 860r12 868m21
534. 868r21 873m21 873r21 895m10 895r10 902m39 902r39
535813m7 Adjusted_Stack_Size{6|60M9} 824m7 836m10 836r33 841m7 841r30 842m7
536. 843r9 843r31 860r31
537814m7 Page_Size{6|60M9} 836r59 841r52 843r55
538816i7 Result{6|35I9} 845m7 846r22 846r41 848r10 853m7 856r22 858m7 861r22
539. 866m16 871m16 876m16 879r25 893m7 898r22 898r41 900r20 902m7 903r22
540818V16 Thread_Body_Access[3|20]{13|269P9} 896s10
541915i7 Result{6|35I9} 919m10 920r25 923m7 924r22
542950i7 Result{6|35I9} 953m10 957r25
543966m7 Mutex_Attr{13|282M9} 978m41 978r41 985m49 985r49 989m47 989r47 995m44
544. 995r44
545967m7 Cond_Attr{13|283M9} 1000m40 1000r40 1013m49 1013r49 1017m49 1017r49
546. 1024m46 1024r46 1033m43 1033r43
547968i7 Result{6|35I9} 978m7 979r22 979r41 981r10 985m7 986r22 986r41 988r10
548. 989m10 990r25 995m7 996r22 1000m7 1001r22 1001r41 1003r10 1004m10 1005r25
549. 1013m10 1014r25 1017m7 1018r22 1018r41 1020r10 1021m10 1022r25 1024m10
550. 1025r25 1033m7 1034r22
5511042i7 Result{6|35I9} 1047m7 1048r22 1052m7 1053r22
5521073i7 Result{6|35I9} 1078m7 1079r22 1083m7 1084r22
5531094i7 Result{6|35I9} 1099m7 1100r22 1111m10 1112r25 1118m7 1119r22
5541129i7 Result{6|35I9} 1134m7 1135r22 1143m10 1144r25 1164m16 1165r31 1165r50
555. 1171m10 1172r25
5561287r7 act{13|172R12} 1345m10 1346m10 1350m10 1355m15 1355r15
5571288r7 old_act{13|172R12} 1356m15 1356r15
5581289a7 Tmp_Set{13|132A9} 1348m33 1348r33 1350r25
5591290i7 Result{6|35I9} 1313m7 1314r22 1318m13 1319r28 1348m10 1349r25 1352m10
560. 1357r25
5611292V16*State{character} 1293>10 1294b<c,__gnat_get_interrupt_state>25 1342s10
5621293i10 Int{10|55I9}
5631299e7 Default{character} 1343r65
5641316i11 J{10|55I9} 1317r56 1318r72
565X 26 s-tpoaal.adb
56642p7 Tmp{30|109P9} 61m19 61r19 70m16 70r16
56743b7 Is_Self{boolean} 49r10
56845U17 Free[4|20] 61s13 70s10
56951r13 Local_ATCB{30|971R9} 57m13 58m13 60m27 60r27
570X 27 s-tpopmo.adb
57141U14 Compute_Deadline 42>7 43>7 44<7 45<7 86b14 128l8 128t24 161s7 253s7
57242o7 Time{duration} 87b7 98r36 110r69 120r32 162r10 254r10
57343i7 Mode{30|217I12} 88b7 97r10 106r13 163r10 255r10
57444o7 Check_Time{duration} 89b7 93m7 98r64 110r36 120r39 124r29 164r10 256r10
57545o7 Abs_Time{duration} 90b7 98m10 110m10 123m13 165r10 257r10
57657r7 TS{13|198R9} 61m46 61r46 64r27
57758i7 Result{6|35I9} 60m7 62r22
57872r7 TS{13|198R9} 76m51 76r51 79r27
57973i7 Result{6|35I9} 76m7 77r22
580118o13 Cal_Check_Time{duration} 120r52
581119o13 RT_Time{duration} 124r62
582148o7 Base_Time{duration} 166m7 218r67
583149o7 Check_Time{duration} 164m24 166r20 172r21 178r27 180r30 209m22 218r35
584. 218r54
585150o7 Abs_Time{duration} 165m24 172r10 178r16 182r30 218r23
586151o7 P_Abs_Time{duration} 180m16 182m16 187r37
587153r7 Request{13|198R9} 187m13 199m32 199r32
588154i7 Result{6|35I9} 193m16 201r21
589155b7 Exit_Outer{boolean} 183m16 208r38
590174l10 Outer 190r21 205r27 208r27 217r21 221l19 221e24
591189l13 Inner 210r27 220l22 220e27
592237o7 Base_Time{duration} 258m7 308r68
593238o7 Check_Time{duration} 256m24 258r20 264r21 271r26 273r30 297m22 308r36
594. 308r55
595239o7 Abs_Time{duration} 257m24 264r10 271r15 275r30 308r24
596240o7 P_Abs_Time{duration} 273m16 275m16 280r37
597241r7 Request{13|198R9} 280m13 292m32 292r32
598243i7 Result{6|35I9} 286m16 294r21 322r28 323m7
599244b7 Exit_Outer{boolean} 276m16 296r38
600267l10 Outer 283r21 296r27 307r21 311l19 311e24
601282l13 Inner 298r27 310l22 310e27
602X 28 s-tporft.adb
60342r4 Local_ATCB{30|971R9} 54m4 55m4 56m18 56r18
60443p4 Self_Id{30|109P9} 60m4 66r7 69r43 73r4 74r4 74r29 76r13 77r7 77r39 78r7
605. 81r4 82r4 84r4 85r4 89r4 93r4 98r7 100r16 102r11
60644b4 Succeeded{boolean} 69m52 71r19
60776i8 L{integer} 77r28 78r28 78r40
608X 29 s-tpopsp.adb
60937i4 ATCB_Key{13|284I9} 48m37 48r37 58r36 68r38 78r47
61046i7 Result{6|35I9} 48m7 49r22
61166i7 Result{6|35I9} 68m7 69r22
612X 30 s-taskin.ads
61347K16*Tasking 24|36w13 42r30 361r24 385r25 399r23 25|51r13 68r15 69r15 164r28
614. 529r24 592r51 27|142r25 28|65r11 30|1215e19
615107R9*Ada_Task_Control_Block 26|46r37 51r34 80r18 28|42r25 60r19 30|1165e14
616109P9*Task_Id(107R9) 24|45r48 51r23 76r39 96r69 100r35 106r66 109r43 113r35
617. 121r33 135r28 188r14 242r14 323r14 337r34 360r20 382r21 391r20 398r19 405r40
618. 411r35 418r47 461r34 521r38 525r42 530r24 539r24 552r31 557r35 566r40 25|87r26
619. 127r48 135r32 139r28 161r24 170r23 193r62 200r13 211r36 244r26 280r34 304r35
620. 313r25 458r30 499r26 528r17 557r18 572r17 592r26 618r29 666r31 675r36 706r44
621. 719r40 806r20 914r32 949r30 1184r38 1194r42 1204r37 1232r24 1245r24 1266r31
622. 1276r35 1286r45 1366r40 26|41r29 42r17 46r61 78r60 27|139r21 233r20 28|40r11
623. 43r17 29|44r45 65r29 76r25
624112p4*Null_Task{109P9} 28|66r36
625121V13*To_Task_Id[3|20]{109P9} 29|78s14
626124V13*To_Address[3|20]{7|67M9} 29|68s48
627132E9*Task_States 24|361r32 385r33 399r31 25|164r36 529r32 560r18 592r59
628. 27|142r33 30|210e7
629147n7*Runnable{132E9} 27|313r34 28|81r28
630174n7*Delay_Sleep{132E9} 27|265r34
631217I12*Delay_Modes{integer} 24|384r21 393r20 25|163r24 172r23 559r21 574r20
632. 27|43r23 88r23 141r21 235r20
633231I9*Entry_Index<integer>
634237I9*Task_Entry_Index<231I9> 24|96r41 106r38 26|78r35
635503e7*State{132E9} 27|265m25 313m25 28|81m19
636526i7*Current_Priority{7|100I12} 25|636m16 668r23 26|58m31 58r60 28|55m22
637556a7*Task_Image{string} 28|84m19
638560i7*Task_Image_Len{natural} 28|85m19
639571r7*LL{23|61R9} 25|281r65 306r23 462m49 503m51 538m36 541m42 596m47 645r22
640. 652r22 656r22 677m22 678m22 759m33 782m30 790m61 894m19 919m52 923m48 955r24
641. 26|57m31 57r60 27|195m47 198m53 288m47 291m53 28|54m22
642586m7*Task_Alternate_Stack{7|67M9} 25|687r46 1330m34 28|93m19
643599r7*Compiler_Data{17|327R9} 28|98m22
644665e7*Task_Info{22|84E9} 25|863r19 864r24
645751I12*Master_Level{integer}
646821I12*ATC_Level_Base{integer}
647836I12*ATC_Level{821I12}
648849R9*Entry_Call_Record
649850p7*Self{109P9} 28|77m31
650879i7*Level{836I12} 28|78m31
651952A9*Entry_Call_Array(849R9)<integer>
652963M9*Task_Serial_Number 25|102r25
653971R9*Ada_Task_Control_Block
654972r7*Common{502R9} 25|281r58 306r16 462m42 503m44 538m29 541m35 596m40 636m9
655. 645r15 652r15 656r15 668r16 677m15 678m15 687r39 759m26 782m23 790m54 863r12
656. 864r17 894m12 919m45 923m41 955r17 1330m27 26|57m24 57r53 58m24 58r53 27|195m40
657. 198m46 265m18 288m40 291m46 313m18 28|54m15 55m15 81m12 84m12 85m12 93m12
658. 98m15
659975a7*Entry_Calls{952A9} 28|76r21 77m15 78m15
6601004i7*Master_Of_Task{751I12} 28|73m12 74r37
6611011i7*Master_Within{751I12} 28|74m12
6621026i7*Awake_Count{natural} 28|82m12
6631037b7*Aborting{boolean} 25|262r15 264m12
6641104i7*ATC_Nesting_Level{836I12} 25|261r42 27|191r60 284r59
6651116i7*Deferral_Level{natural} 25|260r12 28|89m12
6661124i7*Pending_ATC_Level{821I12} 25|261r20 27|191r32 284r31
6671138m7*Serial_Number{963M9} 25|727m15
6681141i7*Known_Tasks_Index{integer} 25|926r12 927r25 1338m24
6691181U14*Initialize_ATCB 28|65s19
670X 31 s-tasdeb.ads
67138K24*Debug 25|51w21 68r23 31|165e25
67268a4*Known_Tasks(30|109P9) 25|927m10 1337m7 1337r20 1338r45
673
674