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 SS ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK

U system.tasking.initialization%b  s-tasini.adb	6b472777 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.parameters%s	s-parame.adb		s-parame.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.soft_links.tasking%s  s-solita.adb	s-solita.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

U system.tasking.initialization%s  s-tasini.ads	9468d5af BN EE NE OL PK
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 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-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-secsta.ads		20121213103024 eea35a36
D s-soflin.ads		20121213103024 24c8153c
D s-solita.ads		20121213103029 4e08c3ec
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-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-tasini.ads		20121213103024 cd8187f9
D s-tasini.adb		20121213103024 7de16cee
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 28|41r6 54r25 235r16 715r11
X 2 a-except.ads
53K13*Exceptions 355e19 28|41w10 54r29 235r20 715r15
61P9*Exception_Id(19|132R9) 28|235r31
66R9*Exception_Occurrence 332e14 28|91r14 712r14
69P9*Exception_Occurrence_Access(66R9)
126U14*Save_Occurrence 28|718s7
X 6 system.ads
37K9*System 152e11 27|35r9 190r5 28|43r6 44r6 45r6 46r6 47r6 48r6 50r14 52r25
. 53r25 59r31 827r5
105I12*Any_Priority{integer}
X 13 s-parame.ads
51K16*Parameters 213e22 28|48w13 56r8
159b4*Single_Lock{boolean} 28|248r13 256r13 725r16 733r16
172b4*No_Abort{boolean} 28|148r10 189r10 211r10 358r14 612r10 648r10 673r10
X 15 s-soflin.ads
45K16*Soft_Links 408e22 28|45w13 46r13 53r32
48P12*EOA{2|69P9} 28|87r42 223r42
51V13*Current_Target_Exception{49R12} 28|91s42 712s42
60P9*No_Param_Proc
80P9*Get_Integer_Call(integer)
85P9*Get_EOA_Call(2|69P9)
92P9*Special_EO_Call
104P9*Task_Name_Call(string)
169p4*Abort_Defer{60P9} 28|359m14
173p4*Abort_Undefer{60P9} 28|360m14
180p4*Update_Exception{92P9} 28|367m11
183p4*Check_Abort_Status{80P9} 28|365m11
187p4*Lock_Task{60P9} 28|363m11
197p4*Unlock_Task{60P9} 28|364m11
248p4*Get_Current_Excep{85P9} 28|368m11
285p4*Task_Name{104P9} 28|366m11
346r7*Current_Excep{49R12} 28|225m45 718m53
X 16 s-solita.ads
37K27*Tasking 43e30 28|46w24 373r11
39U14*Init_Tasking_Soft_Links 28|373s19
X 18 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 19 s-stalib.ads
132R9*Exception_Data
X 23 s-taspri.ads
43K16*Task_Primitives 125e27 28|43w13 44r13 52r32 57r8 59r38
49R9*RTS_Lock 28|59r54
X 24 s-taprop.ads
39K32*Operations 571e38 28|44w29 52r48 57r24
121U14*Abort_Task 28|509s13
135V13*Self{25|107P9} 28|215s23 225s19 563s23 571s42 594s25 677s23
141n7*Global_Task_Level{139E9} 28|353r54
151U14*Initialize_Lock 28|353s7
184U14*Write_Lock 28|557s10
186b7 Global_Lock{boolean} 28|557r47
187U14*Write_Lock 28|252s10 729s13
238U14*Unlock 28|313s7 587s10
240b7 Global_Lock{boolean} 28|313r40 587r43
241U14*Unlock 28|254s10 731s13
322U14*Set_Priority 28|121s10
397U14*Wakeup 28|457s16 461s16 466s16 800s10
405V13*Environment_Task{25|107P9} 28|328s18 378s22
434U14*Lock_RTS 28|249s13 726s16
437U14*Unlock_RTS 28|257s13 734s16
525V13*Check_No_Locks{boolean} 28|621s25 658s25 697s25
X 25 s-taskin.ads
47K16*Tasking 6|37k9 25|1214e19 27|35r16 190r12 28|47r13 50r21 323r7 827r12
107P9*Task_Id(105R9) 27|37r46 50r41 52r39 53r41 107r37 110r39 115r46 118r48
. 121r43 136r40 144r35 147r37 152r43 162r20 184r17 185r17 28|117r40 130r26
. 146r37 187r46 209r17 234r43 310r43 321r17 429r17 430r17 518r46 519r18 520r18
. 550r35 571r26 580r37 610r39 646r48 671r17 714r26 775r20 779r25 813r39 819r41
110p4*Null_Task{107P9} 28|526r19 528r18 530r27
114V13*Self{107P9} 28|130s37 238s32 524s23 714s37
131n7*Unactivated{130E9} 28|436r18 786r45
145n7*Runnable{130E9} 28|440r31 501r30
150n7*Terminated{130E9} 28|436r32
155n7*Activator_Sleep{130E9} 28|468r18
158n7*Acceptor_Sleep{130E9} 28|459r18 493r33
165n7*Entry_Caller_Sleep{130E9} 28|463r18 799r35 800r26
168n7*Async_Select_Sleep{130E9} 28|452r18
172n7*Delay_Sleep{130E9} 28|451r18
176n7*Master_Completion_Sleep{130E9} 28|469r18
183n7*Master_Phase_2_Sleep{130E9} 28|470r18
191n7*Interrupt_Server_Idle_Sleep{130E9} 28|453r18
192n7*Interrupt_Server_Blocked_Interrupt_Sleep{130E9} 28|454r18
193n7*Timer_Server_Sleep{130E9} 28|455r18
194n7*AST_Server_Sleep{130E9} 28|456r18
196n7*Asynchronous_Hold{130E9} 28|471r18
199n7*Interrupt_Server_Blocked_On_Event_Flag{130E9} 28|448r18 502r39
203n7*Activating{130E9} 28|440r18
206n7*Acceptor_Delay_Sleep{130E9} 28|459r35 495r33
211n38*Asynchronous_Call{210E9} 28|790r28
240P9*Entry_Call_Link(238R9) 27|163r20 28|776r20
264E9*Entry_Call_State 282e7 27|164r20 28|777r20
271n7*Was_Abortable{264E9} 28|795r33
277n7*Done{264E9} 28|784r34 795r67
280n7*Cancelled{264E9} 28|784r59
506e7*State{130E9} 28|435r24 457r36 461r36 466r36 493r25 495r25 501r22 502r31
. 786r36 799r27
518i7*Base_Priority{6|105I12} 28|119r19 120m19 121r36
559a7*Task_Image{string} 28|573r29
563i7*Task_Image_Len{natural} 28|573r61
601r7*Compiler_Data{15|325R9} 28|225m31 718r39
607p7*All_Tasks_Link{107P9} 28|531r56 533m32 533r59 540r24
672i7*Global_Task_Lock_Nesting{natural} 28|312r37 552m22 553r24 555r25 582r37
. 583m22 584r24 586r25
740p4*All_Tasks_List{107P9} 28|527r12 531m16 531r34
751I12*Master_Level{integer}
765i4*Environment_Task_Level{751I12} 28|329r33
767i4*Library_Task_Level{751I12} 28|349r32
808A9*Accept_List(803R9)<integer>
811P9*Accept_List_Access(808A9)
819I12*ATC_Level_Base{integer}
823I12*ATC_Level{819I12} 27|186r17 28|431r17
831R9*Entry_Call_Record
832p7*Self{107P9} 28|333m34 779r47
835e7*Mode{210E9} 28|790r21
837e7*State{264E9} 28|788m18 795r24
861i7*Level{823I12} 28|334m34 796r64
903b7*Cancellation_Attempted{boolean} 28|446m40 465m40
934A9*Entry_Call_Array(831R9)<integer>
958r7*Common{505R9} 28|119r12 120m12 121r29 225m24 312r30 435r17 457r29 461r29
. 466r29 493r18 495r18 501r15 502r24 531r49 533m25 533r52 540r17 552m15 553r17
. 555r18 573r22 573r54 582r30 583m15 584r17 586r18 718r32 786r29 799r20
961a7*Entry_Calls{934A9} 28|332r24 333m18 334m18 445m18 464m18
976i7*New_Base_Priority{6|105I12} 28|119r38 120r38
981p7*Open_Accepts{811P9} 28|460m18 497m18
998i7*Master_of_Task{751I12} 28|329m15 330r40
1005i7*Master_Within{751I12} 28|330m15 349m15
1014i7*Alive_Count{natural} 28|338m15
1020i7*Awake_Count{natural} 28|337m15
1031b7*Aborting{boolean} 28|266r31 267m27 434r16 486r15 740r31 741m27
1045b7*ATC_Hack{boolean} 28|272r46 274r30 283m27
1053b7*Callable{boolean} 28|481m15
1066b7*Pending_Action{boolean} 28|253m18 264r25 478m12 623r21 660r21 699r21
. 721r21 722m21 730m21
1098i7*ATC_Nesting_Level{823I12} 28|134r54 265r52 446r21 465r21 739r52
1110i7*Deferral_Level{natural} 28|133r26 152r30 180m15 180r41 201m15 201r41
. 216m15 216r41 238r54 246m18 246r44 262m18 262r44 616r30 618m15 618r41 620r18
. 652r30 654m15 654r41 656r18 679r18 693r30 694m15 694r41 696r18 720r18 723m21
. 723r47 737m21 737r47
1118i7*Pending_ATC_Level{819I12} 28|134r26 265r24 476r12 477m12 739r24
1165U14*Initialize 28|323s15
X 26 s-tasdeb.ads
38K24*Debug 148e25 28|47w21 269r22 286r22 524r10 782r21
133U14*Trace 28|269s28 286s28 524s16 782s27
X 27 s-tasini.ads
35K24*Initialization 25|47k16 27|190l20 190e34 28|50b29 827l20 827t34
37U14*Remove_From_All_Tasks_List 37>42 28|518b14 544l8 544t34
37p42 T{25|107P9} 28|518b42 529r17
50P9*Proc_T 55r31 58r33
50p37 T{25|107P9}
52U14*Finalize_Attributes 52>35 55r41 28|813b14 817l8 817t27
52p35 T{25|107P9} 28|813b35 814r28
53U14*Initialize_Attributes 53>37 58r43 28|819b14 823l8 823t29
53p37 T{25|107P9} 28|819b37 820r28
55p4*Finalize_Attributes_Link{50P9}
58p4*Initialize_Attributes_Link{50P9}
107U14*Defer_Abort 107>27 108r19 28|146b14 181l8 181t19
107p27 Self_ID{25|107P9} 28|146b27 152r22 180m7 180r7 180r33
110U14*Undefer_Abort 110>29 111r19 28|378s7 610b14 627l8 627t21
110p29 Self_ID{25|107P9} 28|610b29 616r22 618m7 618r7 618r33 620r10 621r41
. 623r13 624r32
115U14*Defer_Abort_Nestable 115>36 116r19 28|187b14 202l8 202t28 556s10
115p36 Self_ID{25|107P9} 28|187b36 201m7 201r7 201r33
118U14*Undefer_Abort_Nestable 118>38 119r19 28|588s10 646b14 664l8 664t30
118p38 Self_ID{25|107P9} 28|646b38 652r22 654m7 654r7 654r33 656r10 658r41
. 660r13 661r32
121U14*Do_Pending_Action 121>33 28|234b14 295l8 295t25 624s13 661s13 700s13
121p33 Self_ID{25|107P9} 28|234b33 238r22 238r46 246m10 246r10 246r36 252r22
. 253m10 253r10 254r18 262m10 262r10 262r36 264r17 265r16 265r44 266r23 267m19
. 267r19 269r35 272r38 274r22 283m19 283r19 287r23
128V13*Check_Abort_Status{integer} 28|129b13 140l8 140t26 365r33
136U14*Change_Base_Priority 136>36 28|117b14 123l8 123t28
136p36 T{25|107P9} 28|117b36 119r10 119r36 120m10 120r10 120r36 121r24 121r27
144U14*Task_Lock 144>25 145r19 28|550b14 559l8 559t17 563s7
144p25 Self_ID{25|107P9} 28|550b25 552m7 552r7 553r9 555r10 556r32
147U14*Task_Unlock 147>27 148r19 28|580b14 590l8 590t19 594s7
147p27 Self_ID{25|107P9} 28|580b27 582r22 583m7 583r7 584r9 586r10 588r34
152U14*Final_Task_Unlock 152>33 28|310b14 314l8 314t25
152p33 Self_ID{25|107P9} 28|310b33 312r22
161U14*Wakeup_Entry_Caller 162>7 163>7 164>7 165r19 28|774b14 802l8 802t27
162p7 Self_ID{25|107P9} 28|775b7 783r10 796r36
163p7 Entry_Call{25|240P9} 28|776b7 779r36 788m7 788r7 790r10 795r13 796r53
164e7 New_State{25|264E9} 28|777b7 784r22 784r47 788r27 795r55
183U14*Locked_Abort_To_Level 184>7 185>7 186>7 187r19 28|428b14 512l8 512t29
. 796s13
184p7 Self_ID{25|107P9} 28|429b7 434r39 500r21
185p7 T{25|107P9} 28|430b7 434r14 434r34 435r15 445m16 445r16 446r19 457r24
. 457r27 460m16 460r16 461r24 461r27 464m16 464r16 465r19 466r24 466r27 476r10
. 477m10 477r10 478m10 478r10 481m13 481r13 486r13 493r16 495r16 497m16 497r16
. 500r16 501r13 502r22 509r25
186i7 L{25|823I12} 28|431b7 476r32 477r33 480r13
X 28 s-tasini.adb
52K12 STPO=52:48 215r18 225r14 353r49 563r18 571r37 594r20 677r18
53K12 SSL=53:32 87r38 91r38 223r38 359r10 360r10 363r7 364r7 365r7 366r7
. 367r7 368r7 373r7 712r38
54K12 AE=54:29 91r11 712r11
59r4 Global_Task_Lock{23|49R9} 313m15 313r15 353m24 353r24 557m22 557r22
. 587m18 587r18
68U14 Abort_Defer 208b14 217l8 217t19 359r31
71U14 Abort_Undefer 360r31 670b14 703l8 703t21
74U14 Task_Lock 363r33 561b14 564l8 564t17
82U14 Task_Unlock 364r33 592b14 595l8 595t19
87V13 Get_Current_Excep{15|48P12} 223b13 226l8 226t25 368r33
90U14 Update_Exception 91>7 367r33 711b14 747l8 747t24
91r7 X{2|66R9} 712b7 718r68
94V13 Task_Name{string} 366r33 570b13 574l8 574t17
105U14 Init_RTS 320b14 379l8 379t16 826s4
130p7 Self_ID{25|107P9} 132r10 133r18 134r18 134r46
209p7 Self_ID{25|107P9} 215m7 216m7 216r7 216r33
321p7 Self_Id{25|107P9} 328m7 329m7 329r7 330m7 330r7 330r32 332r16 333m10
. 333r10 333r42 334m10 334r10 337m7 337r7 338m7 338r7 349m7 349r7
332i11 L{integer} 333r31 334r31 334r43
519p7 C{25|107P9} 527m7 528r13 529r13 533r50 539r22 540m10 540r15
520p7 Previous{25|107P9} 526m7 530r16 533m16 533r16 539m10
571p7 Self_Id{25|107P9} 573r14 573r46
671p7 Self_ID{25|107P9} 677m7 679r10 693r22 694m7 694r7 694r33 696r10 697r41
. 699r13 700r32
714p7 Self_Id{25|107P9} 718r24 720r10 721r13 722m13 722r13 723m13 723r13
. 723r39 729r25 730m13 730r13 731r21 737m13 737r13 737r39 739r16 739r44 740r23
. 741m19 741r19
779p7 Caller{25|107P9} 783r47 786r22 796r45 799r13 800r18