MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ALLOCATORS
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK

U system.task_primitives.operations%b  s-taprop.adb  b4921ea2 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.unchecked_deallocation%s
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W system%s		system.ads		system.ali
W system.bit_ops%s	s-bitops.adb		s-bitops.ali
W system.interrupt_management%s  s-intman.adb	s-intman.ali
W system.multiprocessors%s  s-multip.adb	s-multip.ali
W system.os_primitives%s  s-osprim.adb		s-osprim.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.stack_checking%s  s-stache.adb		s-stache.ali
W system.stack_checking.operations%s  s-stchop.adb  s-stchop.ali
W system.task_info%s	s-tasinf.adb		s-tasinf.ali
W system.task_primitives%s  s-taspri.ads	s-taspri.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.tasking.debug%s  s-tasdeb.adb		s-tasdeb.ali

U system.task_primitives.operations%s  s-taprop.ads  74a4c38b BN NE OL PR PK
W system%s		system.ads		system.ali
W system.os_interface%s	s-osinte.adb		s-osinte.ali
W system.parameters%s	s-parame.adb		s-parame.ali
W system.task_primitives%s  s-taspri.ads	s-taspri.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-unccon.ads		20121213103024 f9eb8f06
D a-uncdea.ads		20121213103024 f15a5ed1
D interfac.ads		20121213103024 129923ea
D i-c.ads		20121213103024 5421119b
D system.ads		20121213103024 90249111
D s-atacco.ads		20121213103024 4c36d12f
D s-bitops.ads		20121213103024 c30e4013
D s-exctab.ads		20121213103029 66e51330
D s-intman.ads		20121213103024 47ba1e06
D s-linux.ads		20121213103024 70c7cb45
D s-multip.ads		20121213103024 38ac9f73
D s-oscons.ads		20190424142132 972e6764
D s-osinte.ads		20121213103024 938b6b03
D s-osprim.ads		20121213103024 b0d18c29
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stchop.ads		20121213103024 ea7da0c3
D s-stausa.ads		20121213103029 017a0a05
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-tasinf.ads		20121213103024 21316953
D s-taspri.ads		20121213103024 15f617a8
D s-taprop.ads		20121213103029 1dd2e1b6
D s-taprop.adb		20121213103024 42335e21
D s-tpoaal.adb		20121213103024 0239874f system.task_primitives.operations.atcb_allocation
D s-tporft.adb		20121213103024 c1225b23 system.task_primitives.operations.register_foreign_thread
D s-tpopsp.adb		20121213103024 43d7f309 system.task_primitives.operations.specific
D s-taskin.ads		20121213103029 59e95256
D s-tasdeb.ads		20121213103024 1fdd4e3b
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 29|32r6 46r9
X 4 a-uncdea.ads
20u15*Unchecked_Deallocation 29|32w10 46r13
X 5 interfac.ads
36K9*Interfaces 175e15 28|41r6 63r8 172r17 270r27 294r22 314r16 331r16 342r16
. 356r16 375r16 384r16 400r16 420r16 434r16 443r16 476r16 515r20 573r16 628r11
. 671r16 682r16 701r16 717r31 794r22 830r19 883r29 884r29 904r10 940r25 980r25
. 1046r16 1080r16 1096r16 1135r16 1166r16 1187r16 1222r16 1373r17 1470r25
. 1475r23
X 6 i-c.ads
18K20*C 230e17 28|41w17 63r19 172r28 270r38 294r33 314r27 331r27 342r27 356r27
. 375r27 384r27 400r27 420r27 434r27 443r27 476r27 515r31 573r27 630r41 634r33
. 635r33 639r24 640r24 671r27 682r27 701r27 717r42 794r33 830r30 883r40 884r40
. 904r21 940r36 980r36 1046r27 1080r27 1096r27 1135r27 1166r27 1187r27 1222r27
. 1373r28 1470r36 1475r34
35I9*int<integer> 28|172r30 270r40 294r35 314r29 331r29 342r29 356r29 375r29
. 384r29 400r29 420r29 434r29 443r29 476r29 515r33 573r29 671r29 682r29 701r29
. 717r44 794r35 830r32 884r42 1046r29 1080r29 1096r29 1135r29 1166r29 1187r29
. 1222r29 1373r30 1475r36
37I9*long<long_integer> 28|630r43 634r35 635r35 639r26 640r26
45M9*unsigned_long
47M9*unsigned_char
60M9*size_t 28|883r42 904r23 940r38 980r38 1470r38
X 7 system.ads
37K9*System 152e11 27|35r6 36r6 37r6 39r9 42r23 43r24 52r20 53r20 54r20 149r14
. 304r14 324r14 337r50 361r17 385r18 399r16 571r5 28|43r6 44r6 45r6 46r6
. 47r6 48r6 50r6 56r14 58r24 59r23 61r8 62r8 64r8 65r8 66r8 67r8 261r14 459r14
. 472r18 505r18 646r15 646r33 650r42 669r44 696r29 704r35 750r47 877r20 878r20
. 879r20 886r16 894r39 932r48 937r34 941r28 947r13 981r28 993r19 1086r23
. 1377r16 1390r16 1403r13 1429r12 1457r16 1465r44 1471r28 1487r16 1488r16
. 1511r16 1514r19 1534r5 30|32r6 35r6 38r6 55r42 65r4 68r7 68r30 95r4
64M9*Address 27|52r27 28|646r22 877r27
66m4*Null_Address{64M9} 28|646r40 650r49 790r57 932r55 1465r51 30|66r22 93r43
78V14*"="{boolean} 28|790r54 932r46 1465r41
105I12*Any_Priority{integer} 27|54r27 149r21 304r21 324r21 337r57 28|261r21
. 459r21 696r36 704r42 750r54 879r27
106I12*Priority{105I12} 30|55r49 68r14
150b4 ZCX_By_Default{boolean} 28|181r10
X 11 s-intman.ads
50K16*Interrupt_Management 111e32 28|45w13 1086r30 1377r23 1395r7 1402r16
. 1403r20 1429r19 1440r21
55I9*Interrupt_ID<6|35I9> 28|1377r44 1402r37
58A9*Interrupt_Set(boolean)<55I9>
73i4*Abort_Task_Interrupt{55I9} 28|1086r51 1429r40 1440r42
77a4*Keep_Unmasked{58A9} 28|1403r41
92U14*Initialize 28|1395s28
X 13 s-multip.ads
16K16*Multiprocessors 28e27 28|48w13 886r23 894r46 937r41 941r35 975r22 976r22
. 981r35 1390r23 1457r23 1471r35 1482r37 1501r28 1502r28 30|38w13 68r37
19I9*CPU_Range<integer> 28|886r39 1390r39 1457r39
21I12*CPU{19I9} 28|975r38 1501r44
23i4*Not_A_Specific_CPU{19I9} 28|894r62 937r57 1482r53 30|68r53
25V13*Number_Of_CPUs{21I12} 28|941s51 976s38 981s51 1471s51 1502s44
X 15 s-osinte.ads
46K16*OS_Interface 656e24 27|37w13 43r31 28|64r15 947r20 993r26 1487r23 1488r23
. 1511r23 1514r26
51I12*int{6|35I9} 28|642r16 646r61 773r25 948r16 993r48 1489r19 1514r48
57M12*unsigned_long{6|45M9} 28|782r43
58M12*unsigned_char{6|47M9}
60M12*size_t{6|60M9} 28|939r32 943r32 979r32 983r32 1469r32 1473r32
69N4*EAGAIN 28|1024r38
70N4*EINTR 28|490r50 543r44 608r24 1260r59
71N4*EINVAL 28|364r37 368r50 408r37 412r50
72N4*ENOMEM 28|285r56 287r25 299r56 301r25 319r50 321r19 844r53 857r50 907r50
. 1024r62 1108r50 1110r19 1118r50 1124r22
73N4*EPERM 28|743r50
74N4*ETIMEDOUT 28|551r37 607r24
81I9*Signal<6|35I9> 28|162r37 168r37 1086r15 1404r64 1440r13
108N4*SIGSTOP 28|1314r51
110N4*SIGCONT 28|1330r51
154A9*sigset_t(58M12) 28|84r36 173r25 1372r25
156V13*sigaddset{51I12} 28|1404s23
168V13*sigemptyset{51I12} 28|1399s17 1434s20
180R9*struct_sigaction 185e14 28|1370r25 1371r25
181m7*sa_handler{7|64M9} 28|1432m14
182a7*sa_mask{154A9} 28|1436m14
183m7*sa_flags{6|45M9} 28|1431m14
204N4*SIG_UNBLOCK 28|195r15
210V13*sigaction{51I12} 28|1439s12
220R9*timespec 604e14 28|514r28 571r28
225V13*To_Timespec{220R9} 28|527s21 589s21
238N4*SCHED_OTHER 28|740r15
239N4*SCHED_FIFO 28|733r35
240N4*SCHED_RR 28|725r35
258N4*PR_SET_NAME 28|782r30
260V13*prctl{51I12} 28|782s23
269P9*Thread_Body(7|64M9)
273V13*Thread_Body_Access[3|20]{269P9} 28|1020s12
276M9*pthread_t<6|45M9> 28|110r30 110r43
277M12*Thread_Id{276M9} 27|411r55 531r25 540r25 28|152r47 156r16 239r55 1310r21
. 1326r21 30|41r44
285R9*pthread_attr_t 614e14 28|882r37
287R9*pthread_rwlockattr_t 638e14 28|269r35
288R9*pthread_condattr_t 620e14 28|829r27
291N4*PTHREAD_CREATE_DETACHED 28|920r31
297R9*stack_t 301e14 28|793r30
298m7*ss_sp{7|64M9} 28|796m19
299i7*ss_flags{51I12} 28|798m19
300m7*ss_size{60M12} 28|797m19
304V13*sigaltstack{51I12} 28|799s23
309m4*Alternate_Stack{7|64M9} 28|1417m12 1417r12
335V13*pthread_kill{51I12} 28|1084s12 1314s17 1330s17
338V13*pthread_sigmask{51I12} 28|194s12
356V13*pthread_mutex_init{51I12} 28|297s23 317s17 843s12 1106s17
361V13*pthread_mutex_destroy{51I12} 28|336s20 344s17 863s23 1050s20 1121s20
. 1140s17
364V13*pthread_mutex_lock{51I12} 28|361s20 378s20 387s20 405s20 1171s17 1192s17
. 1227s17
367V13*pthread_mutex_unlock{51I12} 28|425s20 437s20 446s20 1176s17 1211s17
. 1236s20 1266s20
370V13*pthread_rwlockattr_init{51I12} 28|275s23
380N4*PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP 28|280r16
382V13*pthread_rwlockattr_setkind_np{51I12} 28|278s23
388V13*pthread_rwlock_init{51I12} 28|283s23
393V13*pthread_rwlock_destroy{51I12} 28|334s20
397V13*pthread_rwlock_rdlock{51I12} 28|403s20
400V13*pthread_rwlock_wrlock{51I12} 28|359s20
403V13*pthread_rwlock_unlock{51I12} 28|423s20
406V13*pthread_condattr_init{51I12} 28|852s17
414V13*pthread_cond_init{51I12} 28|856s9 1116s17
419V13*pthread_cond_destroy{51I12} 28|1054s17 1145s17
422V13*pthread_cond_signal{51I12} 28|673s17 1204s20
425V13*pthread_cond_wait{51I12} 28|482s9 1259s26
426p7 cond(284R9) 28|483r12
427p7 mutex(26|49R9) 28|484r12
430V13*pthread_cond_timedwait{51I12} 28|533s15 596s15
431p7 cond(284R9) 28|534r18 597r18
432p7 mutex(26|49R9) 28|535r18 598r18
433p7 abstime(220R9) 28|538r18 601r18
440R9*struct_sched_param 442e14 28|702r24
441i7*sched_priority{51I12} 28|717m13 736m16
445V13*pthread_setschedparam{51I12} 28|724s12 732s12 738s12
457V13*sched_yield{51I12} 28|620s17 686s20
464V13*pthread_attr_init{51I12} 28|906s17
468V13*pthread_attr_destroy{51I12} 28|1028s20 1035s17
472V13*pthread_attr_setdetachstate{51I12} 28|919s9
478V13*pthread_attr_setstacksize{51I12} 28|915s9
483V13*pthread_create{51I12} 28|1017s9
493V13*pthread_self{276M9} 28|767s35 820s42
496V13*lwp_self{7|64M9} 28|768s32
519N4*CPU_SETSIZE 28|962r15
535P9*cpu_set_t_ptr(530R9) 28|942r32 982r32 1472r23
541V13*CPU_ALLOC{535P9} 28|942s49 982s49 1486s27 1510s27
545V13*CPU_ALLOC_SIZE{60M12} 28|943s42 983s42 1473s42
549U14*CPU_FREE 28|953s13 1001s13 1528s16
553U14*CPU_ZERO 28|946s13 986s13 1487s36 1511s36
557U14*CPU_SET 28|947s33 993s39 1488s36 1514s39
561V13*pthread_setaffinity_np{51I12} 28|1465r10 1525s18
570V13*pthread_attr_setaffinity_np{51I12} 28|932r10 950s15 960s12 998s15
X 16 s-osprim.ads
40K16*OS_Primitives 91e25 28|46w13 66r15
43o4*Max_Sensible_Delay{duration} 28|523r35 524r42 586r42
72N4*Relative 28|522r20 584r20
X 17 s-parame.ads
51K16*Parameters 213e22 27|35w13 53r27 28|65r15 772r38 878r27
58I9*Task_Storage_Size<integer>
61I9*Size_Type<58I9> 27|53r38 28|878r38
159b4*Single_Lock{boolean} 28|377r14 386r14 436r14 445r14 484r25 535r33 577r10
. 598r33 616r10 841r14 862r17 1049r14
202N4*Max_Task_Image_Length 28|772r49
X 18 s-soflin.ads
45K16*Soft_Links 408e22 28|50w13 58r31 30|35w13 95r11
60P9*No_Param_Proc
169p4*Abort_Defer{60P9} 28|1169r11 1190r11 1225r11
173p4*Abort_Undefer{60P9} 28|1179r11 1214r11 1239r14 1269r14
326r7*Pri_Stack_Info{19|50R9} 28|1061m57
356U14*Create_TSD 30|95s22
X 19 s-stache.ads
42K16*Stack_Checking 82e26 28|47r13 59r30
60P9*Stack_Access(50R9)
X 20 s-stchop.ads
45K31*Operations 82e37 28|47w28 59r45
59U14*Invalidate_Stack_Cache 28|1061s10
65V13*Stack_Check{19|60P9} 80i<c,_gnat_stack_check>22
X 21 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 25 s-tasinf.ads
46K16*Task_Info 101e21 28|43w13 67r15 30|32w13 69r7
82r4*No_CPU{79R12} 28|762r58
84X4*Invalid_CPU_Number 28|764r16
89r7*CPU_Affinity{79R12} 28|762r43 963m34 1494m46
94P9*Task_Info_Type(88R9)
96p4*Unspecified_Task_Info{94P9} 30|69r17
X 26 s-taspri.ads
43K16*Task_Primitives 7|37k9 26|125e27 27|39r16 571r12 28|56r21 1534r12
46R9*Lock 83e14 27|150r30 175r49 182r43 213r43 237r27 303r30 28|262r30 330r49
. 353r43 397r43 419r42 458r30
49R9*RTS_Lock 27|152r31 176r49 185r37 239r37 28|76r30 309r31 341r49 372r37
. 431r37
54R9*Suspension_Object 102e14 27|490r32 493r36 496r35 501r45 508r37 511r35
. 28|1095r37 1134r35 1153r32 1165r36 1186r35 1221r45
75N4*Alternate_Stack_Size 28|104r46 797r31 904r44
81r7*RW{15|283R9} 28|283m46 334m46 359m45 403m45 423m45
82r7*WO{15|282R9} 28|297m45 336m45 361m42 405m42 425m44
88b7*State{boolean} 28|1101m9 1158r16 1174m9 1202m12 1208m12 1248r15 1249m15
94b7*Waiting{boolean} 28|1102m9 1200r12 1201m12 1230r12 1251m15 1262r32
97r7*L{15|282R9} 28|1106m39 1121m45 1140m42 1171m39 1176m41 1192m39 1211m41
. 1227m39 1236m44 1259m60 1266m44
100r7*CV{15|284R9} 28|1116m38 1145m41 1204m43 1259m47
105m7*Thread{15|276M9} 28|241r26 725r27 733r27 739r27 767m25 839m25 1018m24
. 1085r27 1313r22 1314r43 1329r22 1330r43 1466r30 1525r54 29|57m34 57r63
. 30|54m25
113m7*LWP{7|64M9} 28|768m25
118r7*CV{15|284R9} 28|483m39 534m47 597m47 673m50 856m46 1054m51
121r7*L{49R9} 28|387m52 446m54 486m45 537m53 600m53 843m50 863m64 1050m55
X 27 s-taprop.ads
39K32*Operations 26|43k16 27|571l28 571e38 28|56b37 1534l28 1534t38
42K12*ST=42:30 45r45 51r20 76r36 96r38 96r66 100r32 106r35 106r63 109r40
. 113r32 121r30 135r25 188r11 242r11 323r11 337r31 360r17 382r18 384r18 391r17
. 393r17 398r16 405r37 411r32 418r44 461r31 521r35 525r39 530r21 539r21 552r28
. 557r32 566r37 28|228r31 239r32 504r18 566r17 973r29 1279r35 1289r39 1309r21
. 1325r21 1349r28 1359r32 1456r37 1499r35
43K12*OSI=43:31 411r51 531r21 540r21 28|239r51
45U14*Initialize 45>26 28|1369b14 1450l8 1450t18
45p26 Environment_Task{32|107P9} 28|1369b26 1393r30 1413r28 1416m10 1416r10
. 1423r42 1424m7 1424r7 1426r19 1449r26
50U14*Create_Task 51>7 52>7 53>7 54>7 55<7 56r19 28|875b14 1039l8 1039t19
51p7 T{32|107P9} 28|876b7 893r10 894r18 896r12 896r37 897r25 897r42 937r13
. 948r21 958r13 963r15 972r13 973r10 974r19 991r25 992r19 1018r12 1021r24
. 1038r21
52m7 Wrapper{7|64M9} 28|877b7 1020r32
53i7 Stack_Size{17|61I9} 28|878b7 904r31
54i7 Priority{7|105I12} 28|879b7 1038r24
55b7 Succeeded{boolean} 28|880b7 899m10 910m10 1027m10 1033m7
76U14*Enter_Task 76>26 77r19 28|759b14 803l8 803t18 1426s7 30|106s4
76p26 Self_ID{32|107P9} 28|759b26 761r10 762r18 767m7 767r7 768m7 768r7 770r10
. 778r29 779r15 779r47 780r24 787r21 790r18 796r31
84U14*Exit_Task 85r19 28|1070b14 1073l8 1073t17
94K12*ATCB_Allocation 104l8 104e23 107r14 28|145b17 1063r7 29|35b14 83l5
. 83t20
96V16*New_ATCB{32|107P9} 96>26 97r22 107r30 29|78b13 81l8 81t16
96i26 Entry_Num{32|235I9} 29|78b23 80r42
100U17*Free_ATCB 100>28 101r22 28|1063s23 29|41b14 72l8 72t17
100p28 T{32|107P9} 29|41b25 42r28 43r37 57r51 58r51
106V13*New_ATCB=107:30{32|107P9}
106i23 Entry_Num{32|235I9}
109U14*Initialize_TCB 109>30 109<52 110r19 28|828b14 869l8 869t22
109p30 Self_ID{32|107P9} 28|828b30 835m7 835r7 839m7 839r7 843r32 856r28
. 863r46
109b52 Succeeded{boolean} 28|828b49 847m13 860m10 867m10
113U14*Finalize_TCB 113>28 114r19 28|1045b14 1064l8 1064t20
113p28 T{32|107P9} 28|1045b28 1050r43 1054r39 1057r10 1058r23 1061r34 1063r34
121U14*Abort_Task 121>26 122r19 28|1079b14 1089l8 1089t18
121p26 T{32|107P9} 28|1079b26 1085r15
135V13*Self{32|107P9} 136r19 28|171s37 248b13 479s32 818s17 29|43s41
139E9*Lock_Level 143e18 153r15 28|310r15
140n7*PO_Level{139E9}
141n7*Global_Task_Level{139E9}
142n7*RTS_Lock_Level{139E9} 28|1409r48
143n7*ATCB_Level{139E9}
148U14*Initialize_Lock 149>7 150^7 28|260b14 306l8 306t23
149i7 Prio{7|105I12} 28|261b7 264r28
150p7 L(26|46R9) 28|262b7 283m44 283r44 297m43 297r43
151U14*Initialize_Lock 152^7 153>7 28|308b14 324l8 324t23 1409s7
152p7 L(26|49R9) 28|309b7 317r37
153e7 Level{139E9} 28|310b7 312r28
175U14*Finalize_Lock 175^29 28|330b14 339l8 339t21
175p29 L(26|46R9) 28|330b29 334m44 334r44 336m43 336r43
176U14*Finalize_Lock 176^29 28|341b14 346l8 346t21
176p29 L(26|49R9) 28|341b29 344r40
181U14*Write_Lock 182^7 183<7 28|352b14 369l8 369t18
182p7 L(26|46R9) 28|353b7 359m43 359r43 361m40 361r40
183b7 Ceiling_Violation{boolean} 28|354b7 364m7
184U14*Write_Lock 185^7 186>7 28|210s7 371b14 381l8 381t18
185p7 L(26|49R9) 28|372b7 378r40
186b7 Global_Lock{boolean} 28|210r43 373b7 377r34
187U14*Write_Lock 188>7 28|383b14 390l8 390t18 581s7
188p7 T{32|107P9} 28|383b26 387r40
212U14*Read_Lock 213^7 214<7 215r19 28|396b14 413l8 413t17
213p7 L(26|46R9) 28|397b7 403m43 403r43 405m40 405r40
214b7 Ceiling_Violation{boolean} 28|398b7 408m7
236U14*Unlock 237^7 28|419b14 428l8 428t14
237p7 L(26|46R9) 28|419b22 423m43 423r43 425m42 425r42
238U14*Unlock 239^7 240>7 28|219s7 430b14 440l8 440t14
239p7 L(26|49R9) 28|431b7 437r42
240b7 Global_Lock{boolean} 28|219r39 432b7 436r34
241U14*Unlock 242>7 28|442b14 449l8 449t14 614s7
242p7 T{32|107P9} 28|442b22 446r42
302U14*Set_Ceiling 303^7 304>7 305r19 28|457b14 464l8 464t19
303p7 L(26|46R9) 28|458b7 461r28
304i7 Prio{7|105I12} 28|459b7 461r31
314U14*Yield 314>21 315r19 28|681b14 688l8 688t13
314b21 Do_Yield{boolean} 28|681b21 685r10
322U14*Set_Priority 323>7 324>7 325>7 326r19 28|694b14 744l8 744t20 1038s7
323p7 T{32|107P9} 28|695b7 713m7 713r7 725r15 733r15 739r15
324i7 Prio{7|105I12} 28|696b7 708r68 713r36 717r49
325b7 Loss_Of_Inheritance{boolean} 28|697b7 699r28
337V13*Get_Priority{7|105I12} 337>27 338r19 28|750b13 753l8 753t20
337p27 T{32|107P9} 28|750b27 752r14
341V13*Monotonic_Clock{duration} 342r19 28|511s41 540s27 568s41 603s27 627b13
. 654l8 654t23
347V13*RT_Resolution{duration} 348r19 28|660b13 663l8 663t21
359U14*Sleep 360>7 361>7 362r19 28|470b14 491l8 491t13
360p7 Self_ID{32|107P9} 28|471b7 479r22 483r21 486r27
361e7 Reason{32|130E9} 28|472b7 474r28
381U14*Timed_Sleep 382>7 383>7 384>7 385>7 386<7 387<7 28|501b14 554l8 554t19
382p7 Self_ID{32|107P9} 28|502b7 530r23 530r51 534r29 537r35
383o7 Time{duration} 28|503b7 523r29 524r62
384i7 Mode{32|215I12} 28|504b7 522r13
385e7 Reason{32|130E9} 28|505b7 509r28
386b7 Timedout{boolean} 28|506b7 518m7 547m16
387b7 Yielded{boolean} 28|507b7 519m7
390U14*Timed_Delay 391>7 392>7 393>7 28|563b14 621l8 621t19
391p7 Self_ID{32|107P9} 28|564b7 581r19 590m10 590r10 593r23 593r51 597r29
. 600r35 611m10 611r10 614r15
392o7 Time{duration} 28|565b7 585r15 586r62
393i7 Mode{32|215I12} 28|566b7 584r13
397U14*Wakeup 398>7 399>7 400r19 28|669b14 675l8 675t14
398p7 T{32|107P9} 28|669b22 673r38
399e7 Reason{32|130E9} 28|669b35 670r28
405V13*Environment_Task{32|107P9} 406r19 28|1299b13 1302l8 1302t24
411V13*Get_Thread_Id{15|277M12} 411>28 28|239b13 242l8 242t21
411p28 T{32|107P9} 28|239b28 241r14
414V13*Is_Valid_Task{boolean} 415r19 28|809b13 817s10
418V13*Register_Foreign_Thread{32|107P9} 28|815b13 822l8 822t31 31|93s17
434U14*Lock_RTS 28|208b14 211l8 211t16 578s10 30|64s4
437U14*Unlock_RTS 28|217b14 220l8 220t18 617s10 30|70s4
461U14*Stack_Guard 461>27 461>43 28|228b14 233l8 233t19
461p27 T{32|107P9} 28|228b27 229r28
461b43 On{boolean} 28|228b43 230r28
490V13*Current_State{boolean} 490>28 28|1153b13 1159l8 1159t21
490r28 S{26|54R9} 28|1153b28 1158r14
493U14*Set_False 493=25 28|1165b14 1180l8 1180t17
493r25 S{26|54R9} 28|1165b25 1171m37 1171r37 1174m7 1176m39 1176r39
496U14*Set_True 496=24 28|1186b14 1215l8 1215t16
496r24 S{26|54R9} 28|1186b24 1192m37 1192r37 1200r10 1201m10 1202m10 1204m41
. 1204r41 1208m10 1211m39 1211r39
501U14*Suspend_Until_True 501=34 28|1221b14 1271l8 1271t26
501r34 S{26|54R9} 28|1221b34 1227m37 1227r37 1230r10 1236m42 1236r42 1248r13
. 1249m13 1251m13 1259m45 1259r45 1259m58 1259r58 1262r30 1266m42 1266r42
508U14*Initialize 508=26 28|1095b14 1128l8 1128t18
508r26 S{26|54R9} 28|1095b26 1101m7 1102m7 1106m37 1106r37 1116m36 1116r36
. 1121m43 1121r43
511U14*Finalize 511=24 28|1134b14 1147l8 1147t16
511r24 S{26|54R9} 28|1134b24 1140m40 1140r40 1145m39 1145r39
521V13*Check_Exit{boolean} 521>25 522r19 28|1279b13 1283l8 1283t18
521p25 Self_ID{32|107P9} 28|1279b25 1280r28
525V13*Check_No_Locks{boolean} 525>29 526r19 28|1289b13 1293l8 1293t22
525p29 Self_ID{32|107P9} 28|1289b29 1290r28
529V13*Suspend_Task{boolean} 530>7 531>7 28|1308b13 1318l8 1318t20
530p7 T{32|107P9} 28|1309b7 1313r10 1314r31
531m7 Thread_Self{15|277M12} 28|1310b7 1313r32
538V13*Resume_Task{boolean} 539>7 540>7 28|1324b13 1334l8 1334t19
539p7 T{32|107P9} 28|1325b7 1329r10 1330r31
540m7 Thread_Self{15|277M12} 28|1326b7 1329r32
546U14*Stop_All_Tasks 28|1340b14 1343l8 1343t22
552V13*Stop_Task{boolean} 552>24 28|1349b13 1353l8 1353t17
552p24 T{32|107P9} 28|1349b24 1350r28
557V13*Continue_Task{boolean} 557>28 28|1359b13 1363l8 1363t21
557p28 T{32|107P9} 28|1359b28 1360r28
566U14*Set_Task_Affinity 566>33 28|1449s7 1456b14 1532l8 1532t25
566p33 T{32|107P9} 28|1456b33 1466r18 1482r16 1489r24 1493r19 1494r27 1498r19
. 1499r16 1500r25 1513r28 1525r42
X 28 s-taprop.adb
58K12 SSL=58:31 1169r7 1179r7 1190r7 1214r7 1225r7 1239r10 1269r10
59K12 SC=59:45 1061r7
76r4 Single_RTS_Lock{26|49R9} 210m19 210r19 219m15 219r15 485m27 485r27 536m35
. 536r35 599m35 599r35 1409m24 1409r24
81p4 Environment_Task_Id{32|107P9} 1301r14 1393m7
84a4 Unblocked_Signal_Mask{15|154A9} 196m15 196r15 1399m30 1399r30 1404m34
. 1404r34
89m4 Next_Serial_Number{32|954M9} 835r32 836m7 836r29 837r22
92i4 Time_Slice_Val{integer} 93m22 93r22 721r17 729r17
95e4 Dispatching_Policy{character} 96m22 96r22 719r10 727r13
98e4 Locking_Policy{character} 99m22 99r22 267r10 333r10 358r10 402r10 422r10
101b4 Foreign_Task_Elaborated{boolean} 30|67m7 67r7
104b4 Use_Alternate_Stack{boolean} 789r10 1415r10
107b4 Abort_Handler_Installed{boolean} 1082r10 1444m10
110m4 Null_Thread_Id{15|276M9} 839r35 1466r40
118K12 Specific 136l8 136e16 138b17 248r41 787r7 809r50 1072r7 1413r7 29|60r13
. 66r13 30|56r4 31|36b14 97l5 97t13
120U17*Initialize 120>29 1413s16 31|45b14 48l8 48t18
120p29 Environment_Task{32|107P9} 31|45b26 47r15
124V16*Is_Valid_Task{boolean} 125r22 809r59 31|54b13 57l8 57t21
128U17*Set 128>22 129r22 787s16 1072s16 29|60s22 66s22 30|56s13 31|63b14
. 66l8 66t11
128p22 Self_Id{32|107P9} 31|63b19 65r15
132V16*Self{32|107P9} 133r22 248r50 31|85b13 95l8 95t12
152V13 Register_Foreign_Thread{32|107P9} 152>38 155b13 820s17 30|41b10 109l5
. 109t28
152m38 Thread{15|277M12} 156b7 30|41b35 54r35
162U14 Abort_Handler 162>29 168b14 202l8 202t21 1432r28
162i29 signo{15|81I9} 168b29 169r28
171p7 Self_Id{32|107P9} 185r10 186r18 186r46 187r22 189m10 189r10
172i7 Result{6|35I9} 193m10 198r25
173a7 Old_Set{15|154A9} 197m15 197r15
269r13 RWlock_Attr{15|287R9} 275m48 275r48 279m16 279r16 283m57 283r57
270i13 Result{6|35I9} 275m13 276r28 278m13 281r28 283m13 285r28 285r47 287r16
294i13 Result{6|35I9} 297m13 299r28 299r47 301r16
314i7 Result{6|35I9} 317m7 319r22 319r41 321r10
331i7 Result{6|35I9} 334m10 336m10 338r22
342i7 Result{6|35I9} 344m7 345r22
356i7 Result{6|35I9} 359m10 361m10 364r28 368r22 368r41
375i7 Result{6|35I9} 378m10 379r25
384i7 Result{6|35I9} 387m10 388r25
400i7 Result{6|35I9} 403m10 405m10 408r28 412r22 412r41
420i7 Result{6|35I9} 423m10 425m10 427r22
434i7 Result{6|35I9} 437m10 438r25
443i7 Result{6|35I9} 446m10 447r25
476i7 Result{6|35I9} 481m7 490r22 490r41
511o7 Base_Time{duration} 512r32 541r67
512o7 Check_Time{duration} 523r57 524r29 526r21 540m13 541r35 541r54
513o7 Abs_Time{duration} 521m7 526r10 527r34 541r23
514r7 Request{15|220R9} 527m10 538m29 538r29
515i7 Result{6|35I9} 532m13 543r16 543r35 551r28
568o7 Base_Time{duration} 569r32 604r67
569o7 Check_Time{duration} 585r22 586r29 588r21 603m13 604r35 604r54
570o7 Abs_Time{duration} 583m7 588r10 589r34 604r23
571r7 Request{15|220R9} 589m10 601m29 601r29
573i7 Result{6|35I9} 574r29 595m13 606r28 607r15 608r15 620m7
630A12 timeval(6|37I9)<integer> 633r33 641r24 645r22
632U17*timeval_to_duration 633^10 634^10 635^10 636b<c,__gnat_timeval_to_duration>25
. 652s7
633p10 T(630A12)
634p10 sec(6|37I9)
635p10 usec(6|37I9)
638N7 Micro 653r49
639i7 sec{6|37I9} 652m39 652r39 653r24
640i7 usec{6|37I9} 652m51 652r51 653r41
641a7 TV{630A12} 650m31 650r31 652m28 652r28
642i7 Result{15|51I12} 650m7 651r22
644V16*gettimeofday{15|51I12} 645^10 646>10 647b<c,gettimeofday>25 650s17
645p10 Tv(630A12)
646m10 Tz{7|64M9}
671i7 Result{6|35I9} 673m7 674r22
682i7 Result{6|35I9} 683r28 686m10
701i7 Result{6|35I9} 723m10 731m10 737m10 743r22 743r41
702r7 Param{15|440R9} 717m7 725m45 725r45 733m47 733r47 736m10 740m28 740r28
704V16*Get_Policy{character} 704>28 705b<c,__gnat_get_specific_dispatching>25
. 708s56
704i28 Prio{7|105I12}
708e7 Priority_Specific_Policy{character} 720r17 728r17
772a13 Task_Name{string} 778m13 780m13 782m58 782r58
773i13 Result{15|51I12} 782m13 783r28
793r13 Stack{15|297R9} 796m13 797m13 798m13 799m36 799r36
794i13 Result{6|35I9} 799m13 800r28
829r7 Cond_Attr{15|288R9} 852m40 852r40 856m57 856r57
830i7 Result{6|35I9} 842m10 844r25 844r44 846r13 852m7 853r22 855m7 857r22
. 857r41 859r10 863m13 864r28
882r7 Attributes{15|285R9} 906m36 906r36 915m36 915r36 920m12 920r12 950m44
. 950r44 961m15 961r15 998m44 998r44 1019m12 1019r12 1028m42 1028r42 1035m39
. 1035r39
883m7 Adjusted_Stack_Size{6|60M9} 903m7 915r55
884i7 Result{6|35I9} 906m7 907r22 907r41 909r10 914m7 916r22 918m7 921r22
. 949m13 951r28 959m10 964r25 997m13 999r28 1016m7 1024r10 1024r29 1024r53
. 1026r10 1028m10 1029r25 1035m7 1036r22
939m13 CPUs{15|60M12} 942r60 943r58
942p13 CPU_Set{15|535P9} 946r29 948r47 950r69 953r23
943m13 Size{15|60M12} 946r23 948r41 950r63
979m13 CPUs{15|60M12} 982r60 983r58
982p13 CPU_Set{15|535P9} 986r29 993r66 998r69 1001r23
983m13 Size{15|60M12} 986r23 993r60 998r63
991i17 Proc<integer> 992r36 993r53
1046i7 Result{6|35I9} 1050m10 1051r25 1054m7 1055r22
1080i7 Result{6|35I9} 1083m10 1087r25
1096i7 Result{6|35I9} 1106m7 1108r22 1108r41 1110r10 1116m7 1118r22 1118r41
. 1120r10 1121m10 1122r25 1124r13
1135i7 Result{6|35I9} 1140m7 1141r22 1145m7 1146r22
1166i7 Result{6|35I9} 1171m7 1172r22 1176m7 1177r22
1187i7 Result{6|35I9} 1192m7 1193r22 1204m10 1205r25 1211m7 1212r22
1222i7 Result{6|35I9} 1227m7 1228r22 1236m10 1237r25 1259m16 1260r31 1260r50
. 1266m10 1267r25
1370r7 act{15|180R9} 1431m10 1432m10 1436m10 1441m13 1441r13
1371r7 old_act{15|180R9} 1442m13 1442r13
1372a7 Tmp_Set{15|154A9} 1434m33 1434r33 1436r25
1373i7 Result{6|35I9} 1399m7 1400r22 1404m13 1405r28 1434m10 1435r25 1438m10
. 1443r25
1376V16*State{character} 1377>10 1378b<c,__gnat_get_interrupt_state>25 1428s10
1377i10 Int{11|55I9}
1383e7 Default{character} 1429r65
1402i11 J{11|55I9} 1403r56 1404r72
1469m13 CPUs{15|60M12} 1473r58 1486r38 1510r38
1472p13 CPU_Set{15|535P9} 1486m16 1487r52 1489r50 1494m16 1510m16 1511r52
. 1514r66 1523r16 1525r68 1528r26
1473m13 Size{15|60M12} 1487r46 1489r44 1511r46 1514r60 1525r62
1475i13 Result{6|35I9} 1524m16 1526r31
1513i20 Proc<integer> 1514r53
X 29 s-tpoaal.adb
42p7 Tmp{32|107P9} 61m19 61r19 70m16 70r16
43b7 Is_Self{boolean} 49r10
45U17 Free[4|20] 61s13 70s10
51r13 Local_ATCB{32|957R9} 57m13 58m13 60m27 60r27
X 30 s-tporft.adb
42r4 Local_ATCB{32|957R9} 54m4 55m4 56m18 56r18
43p4 Self_Id{32|107P9} 60m4 66r7 69r43 73m4 73r4 74m4 74r4 74r29 76r13 77m7
. 77r7 77r39 78m7 78r7 81m4 81r4 82m4 82r4 84m4 84r4 85m4 85r4 89m4 89r4
. 93m4 93r4 95r34 106r16 108r11
44b4 Succeeded{boolean} 69m52 71r19
76i8 L{integer} 77r28 78r28 78r40
X 31 s-tpopsp.adb
38p4 ATCB{32|107P9} 39r33 47m7 56r14 65m7 86r36
86p7 Result{32|107P9} 88r10 89r17
X 32 s-taskin.ads
47K16*Tasking 27|36w13 42r30 361r24 385r25 399r23 28|44r13 61r15 62r15 472r25
. 505r25 669r51 30|65r11 32|1214e19
105R9*Ada_Task_Control_Block 29|46r37 51r34 80r18 30|42r25 60r19 32|1159e14
107P9*Task_Id(105R9) 27|45r48 51r23 76r39 96r69 100r35 106r66 109r43 113r35
. 121r33 135r28 188r14 242r14 323r14 337r34 360r20 382r21 391r20 398r19 405r40
. 411r35 418r47 461r34 521r38 525r42 530r24 539r24 552r31 557r35 566r40 28|81r26
. 120r48 128r32 132r28 152r65 156r34 171r26 228r34 239r35 248r25 383r30 442r26
. 471r18 502r18 564r17 669r26 695r29 750r31 759r36 815r44 828r40 876r20 1045r32
. 1079r30 1279r38 1289r42 1299r37 1309r24 1325r24 1349r31 1359r35 1369r45
. 1456r40 29|41r29 42r17 46r61 78r60 30|41r62 43r17 31|38r19 45r45 63r29
. 85r25 86r25
110p4*Null_Task{107P9} 30|66r36
122V13*To_Address[3|20]{7|64M9} 28|1021s12
130E9*Task_States 27|361r32 385r33 399r31 28|472r33 505r33 669r59 32|208e7
145n7*Runnable{130E9} 28|611r34 30|81r28
172n7*Delay_Sleep{130E9} 28|590r34
215I12*Delay_Modes{integer} 27|384r21 393r20 28|504r21 566r20
229I9*Entry_Index<integer>
235I9*Task_Entry_Index<229I9> 27|96r41 106r38 29|78r35
382A9*Dispatching_Domain(boolean)<13|19I9>
391P9*Dispatching_Domain_Access(382A9)
393p4*System_Domain{391P9} 28|973r32 1499r38
506e7*State{130E9} 28|590m25 611m25 30|81m19
524i7*Base_CPU{13|19I9} 28|894r27 896r21 897r51 937r22 948r30 1482r25 1489r33
529i7*Current_Priority{7|105I12} 28|713m16 752r23 29|58m31 58r60 30|55m22
559a7*Task_Image{string} 28|779r30 30|84m19
563i7*Task_Image_Len{natural} 28|770r25 778r44 779r62 780r39 30|85m19
573r7*LL{26|61R9} 28|241r23 387m49 446m51 483m36 486m42 534m44 537m50 597m44
. 600m50 673m47 725r24 733r24 739r24 767m22 768m22 839m22 843m47 856m43 863m61
. 1018m21 1050m52 1054m48 1085r24 1313r19 1314r40 1329r19 1330r40 1466r27
. 1525r51 29|57m31 57r60 30|54m22
588m7*Task_Alternate_Stack{7|64M9} 28|790r33 796r46 1416m34 30|93m19
601r7*Compiler_Data{18|325R9} 28|1061m43 30|95m49
665p7*Task_Info{25|94P9} 28|761r25 762r33 958r22 963r24 1493r28 1494r36
697p7*Domain{391P9} 28|893r19 896r46 897r34 972r22 973r19 974r28 991r34 992r28
. 1498r28 1499r25 1500r34 1513r37
751I12*Master_Level{integer}
819I12*ATC_Level_Base{integer}
823I12*ATC_Level{819I12}
831R9*Entry_Call_Record
832p7*Self{107P9} 30|77m31
861i7*Level{823I12} 30|78m31
934A9*Entry_Call_Array(831R9)<integer>
954M9*Task_Serial_Number 28|89r25
957R9*Ada_Task_Control_Block
958r7*Common{505R9} 28|241r16 387m42 446m44 483m29 486m35 534m37 537m43 590m18
. 597m37 600m43 611m18 673m40 713m9 725r17 733r17 739r17 752r16 761r18 762r26
. 767m15 768m15 770r18 778r37 779r23 779r55 780r32 790r26 796r39 839m15 843m40
. 856m36 863m54 893r12 894r20 896r14 896r39 897r27 897r44 937r15 948r23 958r15
. 963m17 972r15 973r12 974r21 991r27 992r21 1018m14 1050m45 1054m41 1061m36
. 1085r17 1313r12 1314r33 1329r12 1330r33 1416m27 1466r20 1482r18 1489r26
. 1493r21 1494m29 1498r21 1499r18 1500r27 1513r30 1525r44 29|57m24 57r53
. 58m24 58r53 30|54m15 55m15 81m12 84m12 85m12 93m12 95m42
961a7*Entry_Calls{934A9} 30|76r21 77m15 78m15
998i7*Master_of_Task{751I12} 30|73m12 74r37
1005i7*Master_Within{751I12} 30|74m12
1020i7*Awake_Count{natural} 30|82m12
1031b7*Aborting{boolean} 28|187r30 189m18
1098i7*ATC_Nesting_Level{823I12} 28|186r54 530r59 593r59
1110i7*Deferral_Level{natural} 28|185r18 30|89m12
1118i7*Pending_ATC_Level{819I12} 28|186r26 530r31 593r31
1128m7*Serial_Number{954M9} 28|835m15
1131i7*Known_Tasks_Index{integer} 28|1057r12 1058r25 1424m24
1175U14*Initialize_ATCB 30|65s19
X 33 s-tasdeb.ads
38K24*Debug 28|44w21 61r23 33|148e25
68a4*Known_Tasks(32|107P9) 28|1058m10 1423m7 1423r20 1424r45