1V "GNAT Lib v5" 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_EXCEPTIONS 16RV NO_FIXED_POINT 17RV NO_IMPLICIT_CONDITIONALS 18RV NO_STANDARD_STORAGE_POOLS 19RV NO_TASKING 20RV NO_UNCHECKED_ACCESS 21RV NO_UNCHECKED_CONVERSION 22RV NO_DEFAULT_INITIALIZATION 23RV NO_IMPLEMENTATION_PRAGMAS 24RV NO_ELABORATION_CODE 25RV SPARK_05 26RV MAX_TASKS=1 27 28U system.tasking.async_delays%b s-taasde.adb 96cfd9b1 OL PK 29W ada%s ada.ads ada.ali 30W ada.exceptions%s a-except.adb a-except.ali 31W ada.real_time%s a-reatim.adb a-reatim.ali 32W ada.task_identification%s a-taside.adb a-taside.ali 33W ada.unchecked_conversion%s 34W system%s system.ads system.ali 35W system.interrupt_management%s s-intman.adb s-intman.ali 36W system.interrupt_management.operations%s s-inmaop.adb s-inmaop.ali 37W system.os_primitives%s s-osprim.adb s-osprim.ali 38W system.parameters%s s-parame.adb s-parame.ali 39W system.soft_links%s s-soflin.adb s-soflin.ali 40W system.task_info%s s-tasinf.adb s-tasinf.ali 41W system.task_primitives%s s-taspri.ads s-taspri.ali 42W system.task_primitives.operations%s s-taprop.adb s-taprop.ali 43W system.tasking%s s-taskin.adb s-taskin.ali 44W system.tasking.debug%s s-tasdeb.adb s-tasdeb.ali 45W system.tasking.initialization%s s-tasini.adb s-tasini.ali 46W system.tasking.stages%s s-tassta.adb s-tassta.ali 47W system.tasking.utilities%s s-tasuti.adb s-tasuti.ali 48W system.traces%s s-traces.adb s-traces.ali 49W system.traces.tasking%s s-tratas.adb s-tratas.ali 50 51U system.tasking.async_delays%s s-taasde.ads 71b1492f BN EE NE OL PK 52W system.tasking%s s-taskin.adb s-taskin.ali 53 54D ada.ads 20070406091342 3ffc8e18 ada%s 55D a-except.ads 20140730140058 5250cb69 ada.exceptions%s 56D a-reatim.ads 20141120112812 02069903 ada.real_time%s 57D a-taside.ads 20140611123156 9a31e556 ada.task_identification%s 58D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s 59D interfac.ads 20141120112812 6033a23f interfaces%s 60D i-c.ads 20110801143639 5421119b interfaces.c%s 61D system.ads 20150428105438 bf8979bc system%s 62D s-atacco.ads 20120515093410 4c36d12f system.address_to_access_conversions%s 63D s-exctab.ads 20140225151139 54135002 system.exception_table%s 64D s-intman.ads 20140730124603 47ba1e06 system.interrupt_management%s 65D s-inmaop.ads 20090409150019 5e0317cf system.interrupt_management.operations%s 66D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s 67D s-osinte.ads 20150428105438 fd1dc366 system.os_interface%s 68D s-osprim.ads 20090409150019 b0d18c29 system.os_primitives%s 69D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s 70D s-soflin.ads 20140801100131 aa763b52 system.soft_links%s 71D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s 72D s-stausa.ads 20110804134155 017a0a05 system.stack_usage%s 73D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s 74D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s 75D s-tasinf.ads 20140613095942 801abd01 system.task_info%s 76D s-taspri.ads 20141120144719 e3ab4429 system.task_primitives%s 77D s-taprop.ads 20140521131406 1dd2e1b6 system.task_primitives.operations%s 78D s-taskin.ads 20150106085750 339749f0 system.tasking%s 79D s-taasde.ads 20140730124603 422600df system.tasking.async_delays%s 80D s-taasde.adb 20140731134026 bdaf1c27 system.tasking.async_delays%b 81D s-tasdeb.ads 20140801101116 dfa965f6 system.tasking.debug%s 82D s-tasini.ads 20140730134804 ea044658 system.tasking.initialization%s 83D s-tassta.ads 20121029110946 70812003 system.tasking.stages%s 84D s-tasuti.ads 20140730125043 4c20fd27 system.tasking.utilities%s 85D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s 86D s-traces.ads 20150106085750 f21d68aa system.traces%s 87D s-tratas.ads 20140801083227 fe3b06bf system.traces.tasking%s 88D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s 89X 1 ada.ads 9016K9*Ada 19e8 27|36r6 37r6 60r30 61r7 91X 4 a-taside.ads 9239K13*Task_Identification 77e28 27|37w10 61r11 9343P9*Task_Id<25|109P9> 27|61r31 94X 5 a-unccon.ads 9520v14*Unchecked_Conversion 27|36w10 60r34 96X 8 system.ads 9737K9*System 144e11 26|38r9 147r5 27|39r6 40r6 41r6 42r6 43r6 44r6 45r6 46r6 98. 48r14 50r25 51r23 52r24 53r24 54r24 57r8 58r8 67r34 358r27 406r5 9997I12*Any_Priority{integer} 27|67r41 100X 11 s-intman.ads 10150K16*Interrupt_Management 111e32 27|44r13 308r7 102X 12 s-inmaop.ads 10332K37*Operations 125e43 27|44w34 308r28 104103U14*Setup_Interrupt_Mask 27|308s39 105X 15 s-osprim.ads 10640K16*OS_Primitives 91e25 27|43w13 54r31 10743o4*Max_Sensible_Delay{duration} 27|177r36 332r45 10874N4*Absolute_RT 27|340r20 109X 16 s-parame.ads 11051K16*Parameters 210e22 27|45w13 56r8 375r16 111157b4*Single_Lock{boolean} 27|126r10 149r10 228r10 269r10 316r13 398r13 112190b4*Runtime_Traces{boolean} 27|375r27 113X 19 s-stausa.ads 114203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22 115268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22 116X 23 s-taspri.ads 11743K16*Task_Primitives 120e27 27|39r13 50r32 118X 24 s-taprop.ads 11939K32*Operations 571e38 27|39w29 50r48 120135V13*Self{25|109P9} 27|174s32 203s43 302s45 121187U14*Write_Lock 27|130s12 145s12 232s12 320s15 380s18 386s18 122241U14*Unlock 27|137s12 147s12 267s12 379s18 385s18 396s15 123314U14*Yield 27|167s15 124341V13*Monotonic_Clock{duration} 27|176s18 332s23 353s22 125381U14*Timed_Sleep 27|338s18 126397U14*Wakeup 27|264s15 127434U14*Lock_RTS 27|127s15 229s15 317s18 128437U14*Unlock_RTS 27|150s15 270s15 399s18 129X 25 s-taskin.ads 13047K16*Tasking 8|37k9 25|1208e19 26|38r16 147r12 27|40r13 41r13 42r13 48r21 131. 51r30 52r31 53r31 358r34 406r12 132109P9*Task_Id(107R9) 26|117r17 27|61r40 70r34 203r26 206r19 297r26 133147n7*Runnable{132E9} 27|342r48 134195n7*Timer_Server_Sleep{132E9} 27|264r43 327r48 340r36 135508e7*State{132E9} 27|327m36 342m36 136823I12*ATC_Level_Base{integer} 26|120r15 137825i4*ATC_Level_Infinity{823I12} 27|116r20 120r18 138827I12*ATC_Level{823I12} 27|214r38 222r10 139958r7*Common{507R9} 27|327m29 342m29 1401098i7*ATC_Nesting_Level{827I12} 27|214r18 218m15 218r44 222r35 224r26 1411110i7*Deferral_Level{natural} 27|211r30 1421134i7*User_State{long_integer} 27|330m32 335m32 350m26 143X 26 s-taasde.ads 14438K24*Async_Delays 25|47k16 26|116E9 147l20 147e32 27|48b29 406l20 406t32 14594R9*Delay_Block 95r42 116c9 134e14 27|78r26 14695P9*Delay_Block_Access(94R9) 99r11 104r38 107r28 132r20 141r11 27|106r38 147. 107r15 108r15 162r11 201r11 204r17 278r28 296r26 14897V13*Enqueue_Duration{boolean} 98>7 99>7 27|160b13 180l8 180t24 14998o7 T{duration} 27|161b7 165r10 177r29 15099p7 D{95P9} 27|162b7 166r10 177r57 151104U14*Cancel_Async_Delay 104>34 27|106b14 154l8 154t26 152104p34 D{95P9} 27|106b34 116r10 120r7 124r33 131r16 132r16 135r7 135r17 136r7 153. 136r17 145r24 146r31 147r20 153r35 154107V13*Timed_Out{boolean} 107>24 108r19 27|278b13 281l8 281t17 155107p24 D{95P9} 27|278b24 280r14 156117p7*Self_Id{25|109P9} 27|124r35 145r26 146r33 147r22 153r37 225m9 376r50 157. 380r39 381r39 158120i7*Level{25|823I12} 27|116r12 120m9 224m9 384r57 159126o7*Resume_Time{duration} 27|92m19 226m9 247r15 354r33 389r47 160129b7*Timed_Out{boolean} 27|166m12 280r16 382m22 161132p7*Succ{95P9} 27|90m19 132r18 133m13 135m9 245r24 248r17 254m9 256m14 162. 262r22 354r28 361r37 362m25 362r42 363r22 364m22 389r42 163132p13*Pred{95P9} 27|91m19 131r18 134m13 136m9 255m9 255r19 256r9 257m9 363m27 164. 363r44 365m22 165139U14 Time_Enqueue 140>7 141>7 142r19 27|175s10 199b14 272l8 272t20 166140o7 T{duration} 27|200b7 226r24 247r29 167141p7 D{95P9} 27|201b7 224r7 225r7 226r7 254r7 255r7 256r7 256r22 257r17 168. 262r29 169X 27 s-taasde.adb 17050K12 STPO=50:48 127r10 130r7 137r7 145r7 147r7 150r10 167r10 174r27 176r13 171. 203r38 229r10 232r7 264r10 267r7 270r10 302r40 317r13 320r10 332r18 338r13 172. 353r17 379r13 380r13 385r13 386r13 396r10 399r13 17351K12 ST=51:30 70r31 206r16 264r40 327r45 340r33 342r45 17452K12 STU=52:39 146r7 288r36 17553K12 STI=53:39 124r7 153r7 174r10 314r10 383r13 402r10 17654K12 OSP=54:31 177r32 332r41 340r16 17760V13 To_System[5|20]{25|109P9} 70s45 17863b4 Timer_Attention{boolean} 64r19 263m10 326r17 351m10 17966t9 Timer_Server 70r56 287b14 404l8 404t20 18070p4 Timer_Server_ID{25|109P9} 130r24 137r20 232r24 264r23 267r20 302r22 181. 314r27 320r27 327r13 330r16 335r16 339r16 342r13 350r10 359r16 379r26 384r16 182. 386r30 396r23 402r29 18378r4 Timer_Queue{26|94R9} 90m7 90m27 90r27 91m7 91m27 91r27 92m7 245r12 262r10 184. 354r16 361r25 362m13 389r30 18580K12 Init_Timer_Queue 80l36 80e52 81r25 88b17 93l8 93t24 186107p7 Dpred{26|95P9} 131m7 133r7 134r21 187108p7 Dsucc{26|95P9} 132m7 133r21 134r7 188203p7 Self_Id{25|109P9} 210r34 211r22 214r10 218r7 218r36 221r23 222r27 224r18 189. 225r20 190204p7 Q{26|95P9} 245m7 247r13 248m10 248r15 254r17 255r17 257r7 191288b7 Ignore{boolean} 192292o7 Next_Wakeup_Time{duration} 329r16 331m16 339r33 389m10 193293b7 Timedout{boolean} 299r28 341m16 194294b7 Yielded{boolean} 299r38 341m26 195295o7 Now{duration} 353m10 354r48 196296p7 Dequeued{26|95P9} 361m13 362r33 363r13 363r35 364r13 364r30 365r13 197. 365r30 376r41 380r30 381r30 382r13 384r48 198297p7 Dequeued_Task{25|109P9} 381m13 384r33 385r26 199X 28 s-tasdeb.ads 20038K24*Debug 27|42w21 210r21 221r10 358r42 28|165e25 201133U14*Trace 27|210s27 221s16 358s48 202X 29 s-tasini.ads 20335K24*Initialization 27|41w21 53r39 29|178e34 20495U14*Defer_Abort 27|174s14 314s14 20598U14*Undefer_Abort 27|402s14 206103U14*Defer_Abort_Nestable 27|124s11 207106U14*Undefer_Abort_Nestable 27|153s11 208171U14*Locked_Abort_To_Level 27|383s17 209X 31 s-tasuti.ads 21038K24*Utilities 27|40w21 52r39 31|129e29 21147V13*Make_Independent{boolean} 27|288s40 212107U14*Exit_One_ATC_Level 27|146s11 213X 33 s-traces.ads 21454K16*Traces 27|46r13 57r15 58r15 33|113e18 21573n7*E_Kill{57E9} 27|376r33 216X 34 s-tratas.ads 21741K23*Tasking 27|46w20 58r22 34|95e26 21850U14*Send_Trace_Info 27|376s16 219 220