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_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U system.tasking.protected_objects.operations%b  s-tpobop.adb  84c1a39b NE OL PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali
W system.parameters%s	s-parame.adb		s-parame.ali
W system.restrictions%s	s-restri.adb		s-restri.ali
W system.task_primitives%s  s-taspri.ads	s-taspri.ali
W system.task_primitives.operations%s  s-taprop.adb  s-taprop.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.tasking.debug%s  s-tasdeb.adb		s-tasdeb.ali
W system.tasking.entry_calls%s  s-taenca.adb	s-taenca.ali
W system.tasking.initialization%s  s-tasini.adb	s-tasini.ali  EA
W system.tasking.protected_objects%s  s-taprob.adb  s-taprob.ali
W system.tasking.queuing%s  s-tasque.adb	s-tasque.ali
W system.tasking.rendezvous%s  s-tasren.adb	s-tasren.ali
W system.tasking.utilities%s  s-tasuti.adb	s-tasuti.ali
W system.traces%s	s-traces.adb		s-traces.ali
W system.traces.tasking%s  s-tratas.adb		s-tratas.ali

U system.tasking.protected_objects.operations%s  s-tpobop.ads  a9cb954d BN EB NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.tasking.protected_objects%s  s-taprob.adb  s-taprob.ali
W system.tasking.protected_objects.entries%s  s-tpoben.adb  s-tpoben.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D i-c.ads		20121213103024 5421119b
D system.ads		20121213103024 90249111
D s-atacco.ads		20121213103024 4c36d12f
D s-exctab.ads		20121213103029 66e51330
D s-finmas.ads		20121213103024 b95bb341
D s-finroo.ads		20121213103024 4ff27390
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-parame.ads		20121213103024 b6e20cc0
D s-pooglo.ads		20121213103024 542f33d0
D s-restri.ads		20121213103024 ba60cf37
D s-rident.ads		20130131193150 f6ad7fbe
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
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-stopoo.ads		20121213103024 7b8fbeee
D s-tasinf.ads		20121213103024 21316953
D s-taspri.ads		20121213103024 15f617a8
D s-taprop.ads		20121213103029 1dd2e1b6
D s-taskin.ads		20121213103029 59e95256
D s-tasdeb.ads		20121213103024 1fdd4e3b
D s-taenca.ads		20121213103029 da9410ac
D s-tasini.ads		20121213103024 cd8187f9
D s-taprob.ads		20121213103024 502249e3
D s-tpoben.ads		20121213103024 b641f948
D s-tpobop.ads		20121213103024 5f548bb3
D s-tpobop.adb		20130106093324 c43af208
D s-tasque.ads		20121213103024 b4c10749
D s-tasren.ads		20121213103024 a67a9949
D s-tasuti.ads		20121213103024 eab7b9b0
D s-traent.ads		20121213103024 5221ee41
D s-traces.ads		20121213103024 f21d68aa
D s-tratas.ads		20121213103029 fe3b06bf
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 38|44r6 121r16 39|65r8 213r48 231r16 234r19 235r19 254r19 601r40
. 995r40
X 2 a-except.ads
53K13*Exceptions 355e19 38|44w10 121r20 39|65r12 213r52 231r20 234r23 235r23
. 254r23 601r44 995r44
61P9*Exception_Id(25|132R9) 38|121r31 39|231r31
64p4*Null_Id{61P9} 39|213r63 254r34 601r55 995r55
66R9*Exception_Occurrence 332e14 39|235r34
69P9*Exception_Occurrence_Access(66R9) 39|234r34
X 9 system.ads
37K9*System 152e11 38|46r6 48r9 58r28 83r31 213r5 39|45r6 46r6 47r6 48r6
. 49r6 50r6 51r6 52r6 53r6 55r6 59r14 61r25 68r8 69r8 70r8 71r8 536r29 937r31
. 1106r5
64M9*Address 38|58r35 83r38 39|536r36 937r38
105I12*Any_Priority{integer}
150b4 ZCX_By_Default{boolean} 39|262r20
X 18 s-parame.ads
51K16*Parameters 213e22 39|51w13 63r8
159b4*Single_Lock{boolean} 39|329r16 337r16 359r16 367r16 377r13 386r13 452r16
. 460r16 615r13 623r13 647r16 659r19 703r13 714r13 770r22 779r22 1001r10
. 1012r13 1027r10 1082r16 1094r16
193b4*Runtime_Traces{boolean} 39|276r10 426r16 549r10 964r10
X 20 s-restri.ads
45K16*Restrictions 76e24 39|53w13 68r15 69r15
49K12*Rident[21|75] 39|69r28
51r4*Run_Time_Restrictions{21|301R9[49]} 39|349r13 351r13 760r19 762r19
X 21 s-rident.ads
85E9*Restriction_Id
204n7*Max_Entry_Queue_Length{85E9[20|49]} 39|349r40[20|49] 351r42[20|49]
. 760r46[20|49] 762r48[20|49]
297A9*Restriction_Flags(boolean)<85E9[20|49]>
298A9*Restriction_Values(natural)<85E9[20|49]>
301R9*Restrictions_Info
302a7*Set{297A9[20|49]} 39|349r35[20|49] 760r41[20|49]
308a7*Value{298A9[20|49]} 39|351r35[20|49] 762r41[20|49]
X 22 s-soflin.ads
346r7*Current_Excep{49R12} 39|267m53 268r45
X 24 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-stalib.ads
132R9*Exception_Data
X 30 s-taspri.ads
43K16*Task_Primitives 125e27 39|45r13 61r32 64r8
X 31 s-taprop.ads
39K32*Operations 571e38 39|45w29 61r48
135V13*Self{32|107P9} 39|243s27 260s29 540s54 858s28 859s27 901s45 923s42
. 942s53
187U14*Write_Lock 39|333s18 363s18 381s15 456s18 619s15 665s24 774s24 1004s15
. 1086s18
241U14*Unlock 39|335s18 365s18 384s15 458s18 621s15 667s24 777s24 1015s18
. 1030s15 1092s18
314U14*Yield 39|743s18
314b21 Do_Yield{boolean} 39|743r25
337V13*Get_Priority{9|105I12} 39|597s31 991s31
397U14*Wakeup 39|1089s21
434U14*Lock_RTS 39|330s21 360s21 378s18 453s21 616s18 648s21 660s24 704s18
. 771s27 1002s15 1083s21
437U14*Unlock_RTS 39|338s21 368s21 387s18 461s21 624s18 650s21 662s24 715s18
. 780s27 1013s18 1028s15 1095s21
X 32 s-taskin.ads
47K16*Tasking 9|37k9 32|1214e19 38|46r13 48r16 213r12 39|46r13 47r13 48r13
. 49r13 50r13 55r13 59r21 1106r12
107P9*Task_Id(105R9) 38|95r23 176r57 184r20 193r19 39|87r20 239r20 289r20
. 401r23 406r20 540r38 687r20 801r49 901r29 923r26 942r36
168n7*Async_Select_Sleep{130E9} 39|1088r47 1089r46
210E9*Call_Modes 211e68 38|59r28 39|537r29
211n7*Simple_Call{210E9} 39|658r18
211n20*Conditional_Call{210E9} 39|345r32 658r32 756r42 1100r31
211n38*Asynchronous_Call{210E9} 39|642r17 672r18 1078r28
211n57*Timed_Call{210E9} 39|672r38 982r26
215I12*Delay_Modes{integer} 38|85r31 39|939r31
229I9*Entry_Index<integer> 39|428r50 550r36 596r23 861r23 914r23 965r37 990r23
240P9*Entry_Call_Link(238R9) 38|186r20 39|78r20 89r20 238r29 291r20 407r20
. 541r29 689r20 854r29 902r29 943r27 1068r20
264E9*Entry_Call_State 282e7 39|1049r41 1050r9 1071r22
265n7*Never_Abortable{264E9} 39|594r15 987r15 1052r11 1052r32 1059r11 1059r32
268n7*Not_Yet_Abortable{264E9} 39|382r45 1053r11 1060r11 1060r32
271n7*Was_Abortable{264E9} 39|312r33 420r33 1054r11 1061r11 1061r32 1079r19
. 1101r44
274n7*Now_Abortable{264E9} 39|311r32 419r32 594r36 605r49 988r15 1053r32
. 1054r32 1055r11 1055r32 1062r11 1062r32 1080r31
277n7*Done{264E9} 39|334r70 364r70 457r70 611r30 776r43 1009r30 1018r54 1036r51
. 1056r11 1056r32 1063r11 1063r32 1074r28
280n7*Cancelled{264E9} 39|383r67 446r42 628r48 670r54 751r36 1057r11 1057r32
. 1064r11 1064r32
450V13*Detect_Blocking{boolean} 39|561s10 958s10
506e7*State{130E9} 39|1088r39
552i7*Protected_Action_Nesting{natural} 39|562r33 959r33
566p7*Call{240P9} 39|902r63
601r7*Compiler_Data{22|325R9} 39|267m39 268r31
819I12*ATC_Level_Base{integer}
823I12*ATC_Level{819I12} 39|553r38 585r10 950r38 979r10
831R9*Entry_Call_Record
832p7*Self{107P9} 39|267r27 280r47 333r41 335r37 363r41 365r37 381r38 384r34
. 428r44 450r34 774r47 777r43 803r38 1086r41 1088r27 1089r40 1092r37
835e7*Mode{210E9} 39|345r24 589m18 756r34 982m18 1078r21 1100r24
837e7*State{264E9} 39|311r24 312m24 382r36 419r24 420m24 446r34 592m18 605r41
. 611r21 628r40 670r46 751m27 985m18 1009r21 1018r46 1036r43 1071r53 1076m18
. 1076r61 1080r23 1101r36
850m7*Uninterpreted_Data{9|64M9} 39|321r47 436r51 598m18 992m18
853p7*Exception_To_Raise{2|61P9} 39|252m21 357m24 601m18 768m30 995m18
859p7*Next{240P9} 39|588m18 981m18
868i7*E{229I9} 39|294r59 415r49 596m18 758r55 861m18 914m18 990m18
870i7*Prio{9|105I12} 39|597m18 991m18
876p7*Called_Task{107P9} 39|600m18 863m18 913m18 994m18
884m7*Called_PO{9|64M9} 39|599m18 697r47 862m18 912m18 993m18
903b7*Cancellation_Attempted{boolean} 39|590m18 746r35 983m18
908b7*With_Abort{boolean} 39|346r32 372r60 602m18 745r27 755r31 786r66 864m18
. 911m18 996m18
912b7*Needs_Requeue{boolean} 39|910m18
934A9*Entry_Call_Array(831R9)<integer>
958r7*Common{505R9} 39|267m32 268r24 562r26 902r56 959r26 1088r32
961a7*Entry_Calls{934A9} 39|587m18 980m29
1098i7*ATC_Nesting_Level{823I12} 39|553r18 582m15 582r44 585r35 587r39 950r18
. 976m15 976r44 979r35 980r50
1110i7*Deferral_Level{natural} 39|593r21 859r32 986r21
X 33 s-tasdeb.ads
38K24*Debug 148e25 39|50w21 243r9 318r12 432r16 547r10 584r10 858r10 978r10
133U14*Trace 39|243s15 318s18 432s22 547s16 584s16 858s16 978s16
X 34 s-taenca.ads
38K24*Entry_Calls 97e31 39|46w21 195r7 630r10 649r16 652r16 661r19 666r19
. 679r7 1020r10 1024r7 1037r7
40U14*Wait_For_Completion 39|661s31 666s31
49U14*Wait_For_Completion_With_Timeout 39|1024s19
59U14*Wait_Until_Abortable 39|649s28 652s28
67U14*Try_To_Cancel_Entry_Call 39|195s19
83U14*Check_Exception 39|630s22 679s19 1020s22 1037s19
X 35 s-tasini.ads
35K24*Initialization 190e34 39|55w21 263r16 334r13 364r13 383r10 457r13 570r7
. 577r10 629r10 678r7 775r19 905r7 915r7 968r7 972r10 1019r10 1035r7
107U14*Defer_Abort 39|905s22
110U14*Undefer_Abort 39|915s22 972s25
115U14*Defer_Abort_Nestable 39|570s22 968s22
118U14*Undefer_Abort_Nestable 39|263s31 577s25 629s25 678s22 1019s25 1035s22
161U14*Wakeup_Entry_Caller 39|334s28 364s28 383s25 457s28 775s34
X 36 s-taprob.ads
48K24*Protected_Objects 32|47k16 36|242e37 38|46r21 48r24 213r20 39|59r29
. 1106r20
126I9*Protected_Entry_Index<32|229I9> 38|57r28 82r31 147r20 161r20 171r16
. 39|293r32 294r25 405r20 415r15 477r16 535r29 694r27 758r21 851r20 898r20
. 936r31
129P9*Barrier_Function_Pointer(boolean)
139P9*Entry_Action_Pointer
151p7*Barrier{129P9} 39|305r13
152p7*Action{139P9} 39|320r62 435r66
X 37 s-tpoben.ads
48K42*Entries 240e45 38|46w39 56r28 81r31 91r40 96r23 115r44 120r16 145r20
. 146r20 160r20 170r16 176r16 185r20 39|66r8 402r23
54P9*Find_Body_Index_Access(36|126I9)
60A9*Protected_Entry_Body_Array(36|150R9)<36|126I9>
64P9*Protected_Entry_Body_Access(60A9)
66A9*Protected_Entry_Queue_Array(32|242R9)<36|126I9>
84R9*Protection_Entries<3|55R9> 151e14 38|170r24 176r24 39|476r16 801r16
92m7*Compiler_Info{9|64M9} 39|304r42 305r29 320r43 321r21 435r47 436r25
95p7*Call_In_Progress{32|240P9} 39|238r55 315m17 323r20 327m20 423m17 444r20
. 449m20 728m23 803r21 854r55 865m14
137p7*Entry_Bodies{64P9} 39|303r16 319r17 434r20
141p7*Find_Body_Index{54P9} 39|304r18 320r19 435r23
145a7*Entry_Queues{66A9} 39|352r45 371m37 480r44 763r51 785m33
156P9*Protection_Entries_Access(84R9) 38|56r36 81r39 91r48 96r31 115r52 120r24
. 145r28 146r28 160r28 185r28 39|88r20 211r44 230r16 290r20 402r31 534r29
. 688r20 691r27 849r20 850r20 897r20 922r40 935r31
160V13*To_Address[6|20]{9|64M9} 39|599s31 862s31 912s31 993s31
162V13*To_Protection[6|20]{156P9} 39|697s21
193U14*Lock_Entries_With_Status 39|571s7 725s13 969s7
226U14*Unlock_Entries 39|467s10
X 38 s-tpobop.ads
48K42*Operations 36|48k24 38|213l38 213e48 39|59b47 1106l38 1106t48
51R9*Communication_Block 60r32 126r58 136r31 140r32 192c9 196e14 197r21 39|193r22
. 202r32 220r31 538r33
55U14*Protected_Entry_Call 56>7 57>7 58>7 59>7 60<7 39|533b14 680l8 680t28
56p7 Object{37|156P9} 39|534b7 571r33 599r43 604r32 606r36
57i7 E{36|126I9} 39|535b7 550r49 596r36
58m7 Uninterpreted_Data{9|64M9} 39|536b7 598r40
59e7 Mode{32|210E9} 39|537b7 589r26 642r10 657r15
60r7 Block{51R9} 39|538b7 581m7 627m10 628m10 670m16
80U14*Timed_Protected_Entry_Call 81>7 82>7 83>7 84>7 85>7 86<7 39|934b14
. 1038l8 1038t34
81p7 Object{37|156P9} 39|935b7 969r33 993r43 998r32 999r36
82i7 E{36|126I9} 39|936b7 965r50 990r36
83m7 Uninterpreted_Data{9|64M9} 39|937b7 992r40
84o7 Timeout{duration} 39|938b7 965r54 1025r22
85i7 Mode{32|215I12} 39|939b7 1025r31
86b7 Entry_Call_Successful{boolean} 39|940b7 1018m10 1036m7
91U14*Service_Entries 91>31 92r19 39|922b14 926l8 926t23
91p31 Object{37|156P9} 39|922b31 925r36
94U14*PO_Service_Entries 95>7 96>7 97>7 39|400b14 469l8 469t26 606s7 733s16
. 925s7 999s7
95p7 Self_ID{32|107P9} 39|401b7 411r47 427r41 432r29 441r19 445r27 457r49
96p7 Object{37|156P9} 39|402b7 411r56 423m10 423r10 434r13 435r16 435r40
. 436r18 441r28 444r13 445r36 449m13 449r13 467r26
97b7 Unlock_Object{boolean} 39|403b7 466r10
115U14*Complete_Entry_Body 115>35 39|211b14 214l8 214t27
115p35 Object{37|156P9} 39|211b35 213r40
119U14*Exceptional_Complete_Entry_Body 120>7 121>7 39|213s7 229b14 282l8
. 282t39
120p7 Object{37|156P9} 39|230b7 238r48
121p7 Ex{2|61P9} 39|231b7 252r43 254r13
126U14*Cancel_Protected_Entry_Call 126=43 39|192b14 196l8 196t35
126r43 Block{51R9} 39|193b7 195m45 195r45
136V13*Enqueued{boolean} 136>23 39|220b13 223l8 223t16
136r23 Block{51R9} 39|220b23 222r14
140V13*Cancelled{boolean} 140>24 39|202b13 205l8 205t17
140r24 Block{51R9} 39|202b24 204r14
144U14*Requeue_Protected_Entry 145>7 146>7 147>7 148>7 39|848b14 866l8 866t31
145p7 Object{37|156P9} 39|849b7 854r48 865m7 865r7
146p7 New_Object{37|156P9} 39|850b7 862r43
147i7 E{36|126I9} 39|851b7 861r36
148b7 With_Abort{boolean} 39|852b7 864r32
159U14*Requeue_Task_To_Protected_Entry 160>7 161>7 162>7 39|896b14 916l8
. 916t39
160p7 New_Object{37|156P9} 39|897b7 912r43
161i7 E{36|126I9} 39|898b7 914r36
162b7 With_Abort{boolean} 39|899b7 911r32
169V13*Protected_Count{natural} 170>7 171>7 39|475b13 481l8 481t23
170c7 Object<37|84R9> 39|476b7 480r37
171i7 E{36|126I9} 39|477b7 480r58
175V13*Protected_Entry_Caller{32|107P9} 176>7 39|800b13 804l8 804t30
176c7 Object<37|84R9> 39|801b7 803r14
183U14*PO_Do_Or_Queue 184>7 185>7 186>7 39|288b14 394l8 394t22 604s7 732s16
. 790s16 998s7
184p7 Self_ID{32|107P9} 39|289b7 318r25 334r49 342r27 364r49 383r46 393r43
185p7 Object{37|156P9} 39|290b7 303r9 304r11 304r35 305r22 315m10 315r10
. 319r10 320r12 320r36 321r14 323r13 327m13 327r13 342r36 352r38 371r30 393r52
186p7 Entry_Call{32|240P9} 39|291b7 294r48 311r13 312m13 312r13 315r37 321r36
. 333r30 334r58 335r26 342r44 345r13 346r21 357m13 357r13 363r30 364r58 365r26
. 371r55 372r37 372r49 381r27 382r25 383r55 384r23 393r60
193p7*Self{32|107P9} 39|581m13
194b7*Enqueued{boolean} 39|222r20 627m16
195b7*Cancelled{boolean} 39|195m51 204r20 628m16 670m22
X 39 s-tpobop.adb
61K12 STPO=61:48 243r22 260r24 330r16 333r13 335r13 338r16 360r16 363r13
. 365r13 368r16 378r13 381r10 384r10 387r13 453r16 456r13 458r13 461r16 540r49
. 597r26 616r13 619r10 621r10 624r13 648r16 650r16 660r19 662r19 665r19 667r19
. 704r13 715r13 743r13 771r22 774r19 777r19 780r22 858r23 859r22 901r40 923r37
. 942r48 991r26 1002r10 1004r10 1013r13 1015r13 1028r10 1030r10 1083r16 1086r13
. 1089r16 1092r13 1095r16
77U14 Update_For_Queue_To_PO 78>7 79>7 80r19 372s13 786s19 1067b14 1104l8
. 1104t30
78p7 Entry_Call{32|240P9} 1068b7 1071r42 1076m7 1076r7 1076r50 1078r10 1080r12
. 1086r30 1088r16 1089r29 1092r26 1100r13 1101r25
79b7 With_Abort{boolean} 1069b7 1076r38
86U14 Requeue_Call 87>7 88>7 89>7 342s13 445s13 686b14 794l8 794t20
87p7 Self_Id{32|107P9} 687b7 707r49 711r16 729r49 732r32 733r36 776r22 790r32
88p7 Object{37|156P9} 688b7 711r25 721r13 728m16 728r16 729r58 763r44
89p7 Entry_Call{32|240P9} 689b7 697r36 707r58 711r33 729r66 732r53 745r16
. 746r24 751m16 751r16 755r20 756r23 758r44 768m19 768r19 774r36 776r31 777r32
. 785r51 786r43 786r55 790r53
233U17*Transfer_Occurrence 234>10 235>10 236b<c,__gnat_transfer_occurrence>25
. 266s13
234p10 Target{2|69P9}
235r10 Source{2|66R9}
238p7 Entry_Call{32|240P9} 248r10 252m10 252r10 267r16 280r36
239p7 Self_Id{32|107P9} 260m13 263r55 268r16
293i7 E{36|126I9} 304r57 305r44 320r58 321r67 352r59 371r51
295b7 Barrier_Value{boolean} 302m7 307r10
405i7 E{36|126I9} 415m10 428r63 435r62 436r71
406p7 Caller{32|107P9} 450m13 456r30 458r26
407p7 Entry_Call{32|240P9} 411m64 411r64 413r20 415r38 419r13 420m13 420r13
. 423r37 428r33 436r40 441r36 445r44 446r23 450r23 457r58
540p7 Self_ID{32|107P9} 547r23 553r10 562r18 570r44 577r49 581r21 582m7 582r7
. 582r36 584r23 585r27 587m10 587r10 587r31 593r13 597r45 604r23 606r27 619r27
. 620r40 621r23 629r49 630r39 649r50 652r50 665r36 667r32 678r46 679r36
541p7 Entry_Call{32|240P9} 586m7 588m7 588r7 589m7 589r7 590m7 590r7 592m7
. 592r7 596m7 596r7 597m7 597r7 598m7 598r7 599m7 599r7 600m7 600r7 601m7
. 601r7 602m7 602r7 604r40 605r30 611r10 628r29 630r48 649r59 652r59 661r52
. 666r52 670r35 679r45
542b7 Initially_Abortable{boolean} 605m7 646r17
543b7 Ceiling_Violation{boolean} 571m41 573r10
691p7 New_Object{37|156P9} 697m7 699r10 721r23 725r39 732r41 733r45 785r22
. 790r41
692b7 Ceiling_Violation{boolean} 725m51 727r16
693b7 Result{boolean} 707m10 709r17
694i7 E{36|126I9} 758m16 763r65 785r47
854p7 Entry_Call{32|240P9} 861m7 861r7 862m7 862r7 863m7 863r7 864m7 864r7
901p7 Self_ID{32|107P9} 902r48 905r35 915r37
902p7 Entry_Call{32|240P9} 910m7 910r7 911m7 911r7 912m7 912r7 913m7 913r7
. 914m7 914r7
923p7 Self_ID{32|107P9} 925r27
942p7 Self_Id{32|107P9} 950r10 959r18 968r44 972r40 976m7 976r7 976r36 978r23
. 979r27 980m21 980r21 980r42 986r13 991r45 998r23 999r27 1004r27 1010r40
. 1015r26 1019r49 1020r39 1030r23 1035r46 1037r36
943p7 Entry_Call{32|240P9} 980m7 981m7 981r7 982m7 982r7 983m7 983r7 985m7
. 985r7 990m7 990r7 991m7 991r7 992m7 992r7 993m7 993r7 994m7 994r7 995m7
. 995r7 996m7 996r7 998r40 1009r10 1018r35 1020r48 1025r10 1036r32 1037r45
944b7 Ceiling_Violation{boolean} 969m41 971r10
946b7 Yielded{boolean} 947r28 1025m37
1049a4 New_State(32|264E9) 1076r27
1071e7 Old{32|264E9} 1074r22 1079r13
X 40 s-tasque.ads
34K24*Queuing 39|47w21 352r15 371r13 393r10 411r10 440r16 480r14 710r13 729r16
. 763r21 784r19 40|99e27
38U14*Broadcast_Program_Error 39|393s18 440s24 710s21 729s24
42b7 RTS_Locked{boolean} 39|711r45
49U14*Enqueue 39|371s21 784s27
68V13*Count_Waiting{natural} 39|352s23 480s22 763s29
82U14*Select_Protected_Entry_Call 39|411s18
X 41 s-tasren.ads
39K24*Rendezvous 39|48w21 707r20 41|330e30
317V13*Task_Do_Or_Queue{boolean} 39|707s31
X 42 s-tasuti.ads
38K24*Utilities 39|49w21 620r10 1010r10 42|104e29
82U14*Exit_One_ATC_Level 39|620s20 1010s20
X 44 s-traces.ads
55K16*Traces 39|52r13 70r15 71r15 44|114e18
91n7*PO_Call{58E9} 39|550r27
92n7*POT_Call{58E9} 39|965r27
93n7*PO_Run{58E9} 39|427r33
96n7*PO_Done{58E9} 39|280r27
X 45 s-tratas.ads
41K23*Tasking 39|52w20 71r22 45|95e26
50U14*Send_Trace_Info 39|280s10
59U14*Send_Trace_Info 39|427s16
70U14*Send_Trace_Info 39|550s10
80U14*Send_Trace_Info 39|965s10