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_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U system.tasking%b	s-taskin.adb		52c41c4b NE OL PK
W system%s		system.ads		system.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.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.unsigned_types%s  s-unstyp.ads		s-unstyp.ali

U system.tasking%s	s-taskin.ads		bfe11065 BN NE OL PR PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.unchecked_conversion%s
W system%s		system.ads		system.ali
W system.multiprocessors%s  s-multip.adb	s-multip.ali
W system.parameters%s	s-parame.adb		s-parame.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.stack_usage%s	s-stausa.adb		s-stausa.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.unsigned_types%s  s-unstyp.ads		s-unstyp.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-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-tasinf.ads		20121213103024 21316953
D s-taspri.ads		20121213103024 15f617a8
D s-taprop.ads		20121213103029 1dd2e1b6
D s-taskin.ads		20121213103029 59e95256
D s-taskin.adb		20121213103029 ec32d233
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 23|37r6 38r6 120r10 123r10 342r28 370r15 853r28
X 2 a-except.ads
53K13*Exceptions 355e19 23|37w10 342r32 370r19 853r32
61P9*Exception_Id(17|132R9) 23|342r43 853r43
66R9*Exception_Occurrence 332e14 23|370r30
X 3 a-unccon.ads
20v14*Unchecked_Conversion 23|38w10 120r14 123r14
X 6 system.ads
37K9*System 152e11 23|40r6 41r6 42r6 43r6 44r6 45r6 47r9 108r25 121r9 124r18
. 339r28 383r13 403r13 446r58 454r47 518r23 524r18 529r26 559r33 580r18 588r30
. 601r23 665r19 669r19 773r47 775r47 779r36 850r28 870r14 884r19 921r38 976r27
. 1178r26 1181r26 1182r26 1184r26 1185r26 1214r5 24|36r6 37r6 39r14 41r25
. 77r47 80r10 91r26 94r26 95r26 97r26 98r26 184r23 187r16 205r15 206r15 239r22
. 266r5
64M9*Address 23|339r35 446r65 580r25 588r37 850r35 884r26 921r45 1178r33
. 24|91r33
66m4*Null_Address{64M9} 24|210r22
70N4*Memory_Size 23|944r41
105I12*Any_Priority{integer} 23|518r30 529r33 779r43 870r21 976r34 1181r33
. 24|94r33 183r23
106I12*Priority{105I12} 23|773r54 775r54 24|201r15
109i4*Default_Priority{106I12} 24|200r15
X 10 s-multip.ads
16K16*Multiprocessors 28e27 23|45w13 383r20 403r20 524r25 1182r33 24|95r33
. 184r30 187r23 205r22 206r22 228r12 228r41 235r12 235r41 239r29
19I9*CPU_Range<integer> 23|524r41 1182r49 24|95r49 184r46 187r39 206r38
21I12*CPU{19I9} 23|383r36 403r36 24|228r28 235r28
23i4*Not_A_Specific_CPU{19I9} 24|205r38 239r45
25V13*Number_Of_CPUs{21I12} 24|228s57 235s57
X 13 s-parame.ads
51K16*Parameters 213e22 23|40w13 454r54 559r40 937r36 950r41 1185r33 24|77r54
. 80r17 98r33 150r15
58I9*Task_Storage_Size<integer>
61I9*Size_Type<58I9> 23|454r65 1185r44 24|77r65 80r28 98r44
87V13*Adjust_Storage_Size{61I9} 24|150s26
185N4*Default_Attribute_Count 23|937r47 950r52
202N4*Max_Task_Image_Length 23|559r51
X 14 s-soflin.ads
45K16*Soft_Links 408e22 23|42w13 601r30
325R9*TSD 354e14 23|601r41
326r7*Pri_Stack_Info{15|50R9} 24|81r36 144m33 148m33
X 15 s-stache.ads
53i7*Size{18|54I9} 24|81r51 144m48 148m48
X 16 s-stausa.ads
37K16*Stack_Usage 339e23 23|44w13 669r26
66R9*Stack_Analyzer 315e14 23|669r38
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 17 s-stalib.ads
132R9*Exception_Data
X 18 s-stoele.ads
42K16*Storage_Elements 117e28 24|37w13 145r13 149r12
54I9*Storage_Offset<long_integer> 24|145r30 149r29
X 20 s-tasinf.ads
46K16*Task_Info 101e21 23|41w13 665r26 1184r33 24|97r33 211r16
94P9*Task_Info_Type(88R9) 23|665r36 1184r43 24|97r43
96p4*Unspecified_Task_Info{94P9} 24|211r26
X 21 s-taspri.ads
43K16*Task_Primitives 125e27 23|43w13 108r32 121r16 124r25 573r20 24|36r13
. 41r32
61R9*Private_Data 123e14 23|573r36
66M12*Task_Address{6|64M9} 23|121r32 124r41
72N4*Task_Address_Size 23|108r48
X 22 s-taprop.ads
39K32*Operations 571e38 24|36w29 41r48
45U14*Initialize 24|214s12
106V13*New_ATCB=107:30{23|107P9} 24|208s17
109U14*Initialize_TCB 24|107s12
135V13*Self{23|107P9} 24|71r46
322U14*Set_Priority 24|215s12
X 23 s-taskin.ads
47K16*Tasking 6|37k9 23|1214l12 1214e19 24|39b21 266l12 266t19
105R9*Ada_Task_Control_Block 107r31 957c9 957d33 1159e14
107P9*Task_Id(105R9) 108r8 110r25 112r51 114r25 121r46 124r9 319r14 369r15
. 454r31 514r16 607r24 612r25 617r19 731r27 740r21 832r15 876r21 1176r26
. 1179r26 1186r26 1194r25 1197r14 1206r42 1210r17 24|62r42 71r25 77r31 89r26
. 92r26 99r26 182r23 259r17
110p4*Null_Task{107P9} 1194c4 24|210r36
112A9*Task_List(107P9)<integer>
114V13*Self{107P9} 115r19 24|71b13
119V13*To_Task_Id[3|20]{107P9}
122V13*To_Address[3|20]{6|64M9}
130E9*Task_States 208e7 506r15
131n7*Unactivated{130E9} 24|103r25
145n7*Runnable{130E9} 24|216r25
150n7*Terminated{130E9}
155n7*Activator_Sleep{130E9}
158n7*Acceptor_Sleep{130E9}
165n7*Entry_Caller_Sleep{130E9}
168n7*Async_Select_Sleep{130E9}
172n7*Delay_Sleep{130E9}
176n7*Master_Completion_Sleep{130E9}
183n7*Master_Phase_2_Sleep{130E9}
191n7*Interrupt_Server_Idle_Sleep{130E9}
192n7*Interrupt_Server_Blocked_Interrupt_Sleep{130E9}
193n7*Timer_Server_Sleep{130E9}
194n7*AST_Server_Sleep{130E9}
196n7*Asynchronous_Hold{130E9}
199n7*Interrupt_Server_Blocked_On_Event_Flag{130E9}
203n7*Activating{130E9}
206n7*Acceptor_Delay_Sleep{130E9}
210E9*Call_Modes 211e68 322r14 835r14
211n7*Simple_Call{210E9}
211n20*Conditional_Call{210E9}
211n38*Asynchronous_Call{210E9}
211n57*Timed_Call{210E9}
213E9*Select_Modes 213e77
213n26*Simple_Mode{213E9}
213n39*Else_Mode{213E9}
213n50*Terminate_Mode{213E9}
213n66*Delay_Mode{213E9}
215I12*Delay_Modes{integer}
221N4*Null_Entry 231r34
223N4*Max_Entry 229r49 233r33
225N4*Interrupt_Entry 229r30
227N4*Cancelled_Entry
229I9*Entry_Index<integer> 235r33 256r13 868r11 1206r58 24|62r58 64r14
231N4*Null_Task_Entry 236r12
233N4*Max_Task_Entry 236r31
235I9*Task_Entry_Index<229I9> 248r13 719r56 805r19 957r45
238R9*Entry_Call_Record 240r39 831c9 915e14 935r14
240P9*Entry_Call_Link(238R9) 243r14 244r14 566r14 857r14 859r14 895r28
242R9*Entry_Queue 245e14 248r43
243p7*Head{240P9}
244p7*Tail{240P9}
247A9*Task_Entry_Queue_Array(242R9)<235I9> 1148r22
253P9*String_Access(string) 256r38
255A9*Task_Entry_Names_Array(253P9)<229I9> 258r47
258P9*Task_Entry_Names_Access(255A9) 968r21 1211r17 24|260r17
264E9*Entry_Call_State 282e7 283r20 324r15 837r15
265n7*Never_Abortable{264E9}
268n7*Not_Yet_Abortable{264E9}
271n7*Was_Abortable{264E9}
274n7*Now_Abortable{264E9}
277n7*Done{264E9}
280n7*Cancelled{264E9}
318R9*Restricted_Entry_Call_Record 345e14 346r36 724r28
319p7*Self{107P9}
322e7*Mode{210E9}
324e7*State{264E9}
339m7*Uninterpreted_Data{6|64M9}
342p7*Exception_To_Raise{2|61P9}
355E9*Cause_Of_Termination 355e72 368r15
355n34*Normal{355E9}
355n42*Abnormal{355E9}
355n52*Unhandled_Exception{355E9}
367P9*Termination_Handler 681r27 687r26
368e7 Cause{355E9}
369p7 T{107P9}
370r7 X{2|66R9}
382A9*Dispatching_Domain(boolean)<10|19I9> 391r45 24|227r13
391P9*Dispatching_Domain_Access(382A9) 393r20 697r16 1183r26 24|96r26
393p4*System_Domain{391P9} 24|226m7 231r26
398b4*Dispatching_Domains_Frozen{boolean}
402A9*Array_Allocated_Tasks(natural)<10|19I9> 409r48 24|234r13
409P9*Array_Allocated_Tasks_Access(402A9) 411r31
411p4*Dispatching_Domain_Tasks{409P9} 24|233m7 244m10 244r10 245r12
438R9*Activation_Chain 444r47 1196c9
444P9*Activation_Chain_Access(438R9)
446P9*Task_Procedure_Access 593r26 1177r26 24|90r26
446m52 Arg{6|64M9}
448P9*Access_Boolean(boolean) 652r20 1180r26 24|93r26
450V13*Detect_Blocking{boolean} 451r19 24|47b13 56l8 56t23
454V13*Storage_Size{13|61I9} 454>27 24|77b13 82l8 82t20
454p27 T{107P9} 24|77b27 81r13
459A9*Bit_Array(boolean)<integer> 460r17 462r33
462A12*Debug_Event_Array{459A9}<integer> 693r22
464b4*Global_Task_Debug_Event_Set{boolean}
505R9*Common_ATCB 706e14 721r16 958r16
506e7*State{130E9} 24|103m16 216m16
514p7*Parent{107P9} 24|116m16 136r19
518i7*Base_Priority{6|105I12} 24|117m16 215r38
524i7*Base_CPU{10|19I9} 24|118m16
529i7*Current_Priority{6|105I12} 24|120m16
552i7*Protected_Action_Nesting{natural} 24|121m16
559a7*Task_Image{string} 24|218m16
563i7*Task_Image_Len{natural} 24|134m16 217m16
566p7*Call{240P9} 24|122m16
573r7*LL{21|61R9}
580m7*Task_Arg{6|64M9} 24|123m16
588m7*Task_Alternate_Stack{6|64M9}
593p7*Task_Entry_Point{446P9} 24|124m16
601r7*Compiler_Data{14|325R9} 24|81r22 144m19 148m19
607p7*All_Tasks_Link{107P9} 24|155m16
612p7*Activation_Link{107P9}
617p7*Activator{107P9} 24|125m16
625i7*Wait_Count{natural} 24|126m16
652p7*Elaborated{448P9} 24|127m16
661b7*Activation_Failed{boolean} 24|128m16
665p7*Task_Info{20|94P9} 24|129m16
669r7*Analyzer{16|66R9}
672i7*Global_Task_Lock_Nesting{natural} 24|130m16
681p7*Fall_Back_Handler{367P9} 24|131m16
687p7*Specific_Handler{367P9} 24|132m16
693a7*Debug_Events{462A12} 24|133m16
697p7*Domain{391P9} 24|119m16 231m16
719R9*Restricted_Ada_Task_Control_Block 719d44 728e14 729r36
719i44*Entry_Num{235I9}
721r7*Common{505R9}
724r7*Entry_Call{318R9}
731p4*Interrupt_Manager_ID{107P9}
740p4*All_Tasks_List{107P9} 24|155r34 156m7
751I12*Master_Level{integer} 752r25 764r38 765r38 766r38 767r38 998r24 1005r23
752I12*Master_ID{751I12}
764i4*Foreign_Task_Level{751I12}
765i4*Environment_Task_Level{751I12}
766i4*Independent_Task_Level{751I12}
767i4*Library_Task_Level{751I12}
773i4*Unspecified_Priority{integer} 24|199r29
775i4*Priority_Not_Boosted{integer} 779r12 898r55
778I12*Rendezvous_Priority{integer} 898r32
785N4*Unspecified_CPU 24|204r24
792N4*No_Rendezvous 797r42
794i4*Max_Select{integer} 797r59
797I12*Select_Index{integer} 801r6 801r30 988r22
800I12*Positive_Select_Index{797I12} 809r13
803R9*Accept_Alternative 806e14 809r48
804b7*Null_Body{boolean}
805i7*S{235I9}
808A9*Accept_List(803R9)<integer> 811r47
811P9*Accept_List_Access(808A9) 981r22
817i4*Max_ATC_Nesting{natural} 819r49
819I12*ATC_Level_Base{integer} 821r34 821r52 823r25 823r51 1118r27
821i4*ATC_Level_Infinity{819I12} 1118r45
823I12*ATC_Level{819I12} 825r31 825r52 861r15 1098r27
825I12*ATC_Level_Index{823I12} 934r36
831R9*Entry_Call_Record
832p7*Self{107P9} 24|251m25
835e7*Mode{210E9}
837e7*State{264E9}
850m7*Uninterpreted_Data{6|64M9}
853p7*Exception_To_Raise{2|61P9}
857p7*Prev{240P9}
859p7*Next{240P9}
861i7*Level{823I12}
868i7*E{229I9}
870i7*Prio{6|105I12}
876p7*Called_Task{107P9}
884m7*Called_PO{6|64M9}
895p7*Acceptor_Prev_Call{240P9}
898i7*Acceptor_Prev_Priority{778I12}
903b7*Cancellation_Attempted{boolean}
908b7*With_Abort{boolean}
912b7*Needs_Requeue{boolean}
921P9*Access_Address(6|64M9) 925r31 1144r29
934A9*Entry_Call_Array(831R9)<integer> 961r21
937I9*Direct_Index<short_short_integer> 938r34 938r58
938I12*Direct_Index_Range{937I9} 948r13
944M9*Direct_Attribute_Element 945r19 948r44
947A9*Direct_Attribute_Array(944M9)<937I9> 1138r27
950M9*Direct_Index_Vector 1141r20
954M9*Task_Serial_Number 1128r23
957i33*Entry_Num{235I9} 1148r51 24|64r35
958r7*Common{505R9} 24|81r15 103m9 116m9 117m9 118m9 119m9 120m9 121m9 122m9
. 123m9 124m9 125m9 126m9 127m9 128m9 129m9 130m9 131m9 132m9 133m9 134m9
. 136r12 144m12 148m12 155m9 215r31 216m9 217m9 218m9 231m9
961a7*Entry_Calls{934A9} 24|251m9
968p7*Entry_Names{258P9} 24|263m15
976i7*New_Base_Priority{6|105I12}
981p7*Open_Accepts{811P9}
988i7*Chosen_Index{797I12}
998i7*Master_of_Task{751I12}
1005i7*Master_Within{751I12}
1014i7*Alive_Count{natural}
1020i7*Awake_Count{natural}
1031b7*Aborting{boolean}
1045b7*ATC_Hack{boolean}
1053b7*Callable{boolean}
1056b7*Dependents_Aborted{boolean}
1062b7*Interrupt_Entry{boolean}
1066b7*Pending_Action{boolean}
1082b7*Pending_Priority_Change{boolean}
1089b7*Terminate_Alternative{boolean}
1098i7*ATC_Nesting_Level{823I12}
1110i7*Deferral_Level{natural}
1118i7*Pending_ATC_Level{819I12}
1128m7*Serial_Number{954M9}
1131i7*Known_Tasks_Index{integer}
1134i7*User_State{long_integer}
1138a7*Direct_Attributes{947A9}
1141m7*Is_Defined{950M9}
1144p7*Indirect_Attributes{921P9}
1148a7*Entry_Queues{247A9}
1154b7*Free_On_Termination{boolean}
1165U14*Initialize 24|181b14 252l8 252t18
1175U14*Initialize_ATCB 1176>7 1177>7 1178>7 1179>7 1180>7 1181>7 1182>7
. 1183>7 1184>7 1185>7 1186>7 1187<7 24|88b14 157l8 157t23 209s7
1176p7 Self_ID{107P9} 24|89b7 125r44
1177p7 Task_Entry_Point{446P9} 24|90b7 124r44
1178m7 Task_Arg{6|64M9} 24|91b7 123r44
1179p7 Parent{107P9} 24|92b7 116r44
1180p7 Elaborated{448P9} 24|93b7 127r44
1181i7 Base_Priority{6|105I12} 24|94b7 117r44
1182i7 Base_CPU{10|19I9} 24|95b7 118r44
1183p7 Domain{391P9} 24|96b7 119r44
1184p7 Task_Info{20|94P9} 24|97b7 129r44
1185i7 Stack_Size{13|61I9} 24|98b7 145r46 150r47
1186p7 T{107P9} 24|99b7 103m7 103r7 107r28 116m7 116r7 117m7 117r7 118m7
. 118r7 119m7 119r7 120m7 120r7 121m7 121r7 122m7 122r7 123m7 123r7 124m7
. 124r7 125m7 125r7 126m7 126r7 127m7 127r7 128m7 128r7 129m7 129r7 130m7
. 130r7 131m7 131r7 132m7 132r7 133m7 133r7 134m7 134r7 136r10 144m10 144r10
. 148m10 148r10 155m7 155r7 156r25
1187b7 Success{boolean} 24|100b7 107m31 109r14
1197p7*T_ID{107P9}
1206V13 Number_Of_Entries{229I9} 1206>32 24|62b13 65l8 65t25
1206p32 Self_Id{107P9} 24|62b32 64r27
1209U14 Set_Entry_Names 1210>7 1211>7 24|258b14 264l8 264t23
1210p7 Self_Id{107P9} 24|259b7 263m7 263r7
1211p7 Names{258P9} 24|260b7 263r30
X 24 s-taskin.adb
41K12 STPO=41:48 71r41 107r7 208r12 214r7 215r7
48i7*GL_Detect_Blocking{integer} 49m25 49r25 55r14
163a4 Main_Task_Image{string} 217r34 218r28 218r54
166i4 Main_Priority{integer} 167m22 167r22 199r13 201r25
172i4 Main_CPU{integer} 173m22 173r22 204r13 206r49
178b4 Initialized{boolean} 190r10 194m7
182p7 T{23|107P9} 208m7 211r52 214r24 215r26 215r29 216m7 216r7 217m7 217r7
. 218m7 218r7 231m7 231r7 251m7 251r7 251r33
183i7 Base_Priority{6|105I12} 198m7 210r53
184i7 Base_CPU{10|19I9} 203m7 210r68 239r10 244r36 245r38
185b7 Success{boolean} 211m55 212r22