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_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_TASKING
RV NO_UNCHECKED_CONVERSION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK
RV MAX_TASKS=1
U system.tasking.async_delays%b s-taasde.adb 09c9fdcd OL PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.real_time%s a-reatim.adb a-reatim.ali
W ada.task_identification%s a-taside.adb a-taside.ali
W ada.unchecked_conversion%s
W system%s system.ads system.ali
W system.interrupt_management%s s-intman.adb s-intman.ali
W system.interrupt_management.operations%s s-inmaop.adb s-inmaop.ali
W system.os_primitives%s s-osprim.adb s-osprim.ali
W system.parameters%s s-parame.adb s-parame.ali
W system.soft_links%s s-soflin.adb s-soflin.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.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.initialization%s s-tasini.adb s-tasini.ali
W system.tasking.stages%s s-tassta.adb s-tassta.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.async_delays%s s-taasde.ads ea78eead 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-reatim.ads 20121213103024 63f07669
D a-taside.ads 20121213103024 a4888134
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-intman.ads 20121213103024 47ba1e06
D s-inmaop.ads 20121213103024 5e0317cf
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-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-taasde.ads 20121213103024 b391bcfb
D s-taasde.adb 20121213103024 64094f59
D s-tasdeb.ads 20121213103024 1fdd4e3b
D s-tasini.ads 20121213103024 cd8187f9
D s-tassta.ads 20121213103024 70812003
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 30|36r6 37r6 60r30 61r7
X 4 a-taside.ads
39K13*Task_Identification 72e28 30|37w10 61r11
43P9*Task_Id(28|957R9) 30|61r31
X 5 a-unccon.ads
20v14*Unchecked_Conversion 30|36w10 60r34
X 8 system.ads
37K9*System 152e11 29|38r9 149r5 30|39r6 40r6 41r6 42r6 43r6 44r6 45r6 46r6
. 48r14 50r25 51r23 52r24 53r24 54r24 57r8 58r8 69r34 355r27 412r5
105I12*Any_Priority{integer} 30|69r41
X 11 s-intman.ads
50K16*Interrupt_Management 111e32 30|44r13 305r7
X 12 s-inmaop.ads
32K37*Operations 125e43 30|44w34 305r28
103U14*Setup_Interrupt_Mask 30|305s39
X 17 s-osprim.ads
40K16*OS_Primitives 91e25 30|43w13 54r31
43o4*Max_Sensible_Delay{duration} 30|162r36 329r45
74N4*Absolute_RT 30|337r20
X 18 s-parame.ads
51K16*Parameters 213e22 30|45w13 56r8 372r16
159b4*Single_Lock{boolean} 30|111r10 134r10 213r10 254r10 313r13 395r13
193b4*Runtime_Traces{boolean} 30|372r27
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 26 s-taspri.ads
43K16*Task_Primitives 125e27 30|39r13 50r32
X 27 s-taprop.ads
39K32*Operations 571e38 30|39w29 50r48
135V13*Self{28|107P9} 30|159s32 188s43 299s31
187U14*Write_Lock 30|115s12 130s12 217s12 317s15 377s18 383s18
241U14*Unlock 30|122s12 132s12 252s12 376s18 382s18 393s15
314U14*Yield 30|152s15
341V13*Monotonic_Clock{duration} 30|161s18 329s23 350s22
381U14*Timed_Sleep 30|335s18
397U14*Wakeup 30|249s15
434U14*Lock_RTS 30|112s15 214s15 314s18
437U14*Unlock_RTS 30|135s15 255s15 396s18
X 28 s-taskin.ads
47K16*Tasking 8|37k9 28|1214e19 29|38r16 149r12 30|40r13 41r13 42r13 48r21
. 51r30 52r31 53r31 355r34 412r12
107P9*Task_Id(105R9) 29|118r17 30|61r40 63r25 188r26 191r19 294r26
145n7*Runnable{130E9} 30|339r48
193n7*Timer_Server_Sleep{130E9} 30|249r43 324r48 337r36
506e7*State{130E9} 30|324m36 339m36
819I12*ATC_Level_Base{integer} 29|121r15
821i4*ATC_Level_Infinity{819I12} 30|101r20 105r18
823I12*ATC_Level{819I12} 30|199r38 207r10
957R9*Ada_Task_Control_Block
958r7*Common{505R9} 30|324m29 339m29
1098i7*ATC_Nesting_Level{823I12} 30|199r18 203m15 203r44 207r35 209r26
1110i7*Deferral_Level{natural} 30|196r30
1134i7*User_State{long_integer} 30|327m32 332m32 347m26
X 29 s-taasde.ads
38K24*Async_Delays 28|47k16 29|149l20 149e32 30|48b29 412l20 412t32
94R9*Delay_Block 95r42 117c9 136e14 30|78r26
95P9*Delay_Block_Access(94R9) 99r11 104r38 107r28 134r20 144r11 30|91r38
. 92r15 93r15 147r11 186r11 189r17 263r28 293r26
97V13*Enqueue_Duration{boolean} 98>7 99>7 30|145b13 165l8 165t24
98o7 T{duration} 30|146b7 150r10 162r29
99p7 D{95P9} 30|147b7 151m10 151r10 162r57
104U14*Cancel_Async_Delay 104>34 30|91b14 139l8 139t26
104p34 D{95P9} 30|91b34 101r10 105m7 105r7 109r33 116r16 117r16 120m7 120r7
. 120r17 121m7 121r7 121r17 130r24 131r31 132r20 138r35
107V13*Timed_Out{boolean} 107>24 108r19 30|263b13 266l8 266t17
107p24 D{95P9} 30|263b24 265r14
118p7*Self_Id{28|107P9} 30|109r35 130r26 131r33 132r22 138r37 210m9 373r50
. 377r39 378r39
121i7*Level{28|819I12} 30|101r12 105m9 209m9 381r57
128o7*Resume_Time{duration} 30|211m9 232r15 351r33 386r47 410m16
131b7*Timed_Out{boolean} 30|151m12 265r16 379m22
134p7*Succ{95P9} 30|117r18 118m13 120m9 230r24 233r17 239m9 241m14 247r22
. 351r28 358r37 359m25 359r42 360r22 361m22 386r42 408m16
134p13*Pred{95P9} 30|116r18 119m13 121m9 240m9 240r19 241r9 242m9 360m27
. 360r44 362m22 409m16
142U14 Time_Enqueue 143>7 144>7 145r19 30|160s10 184b14 257l8 257t20
143o7 T{duration} 30|185b7 211r24 232r29
144p7 D{95P9} 30|186b7 209m7 209r7 210m7 210r7 211m7 211r7 239m7 239r7 240m7
. 240r7 241m7 241r7 241r22 242r17 247r29
X 30 s-taasde.adb
50K12 STPO=50:48 112r10 115r7 122r7 130r7 132r7 135r10 152r10 159r27 161r13
. 188r38 214r10 217r7 249r10 252r7 255r10 299r26 314r13 317r10 329r18 335r13
. 350r17 376r13 377r13 382r13 383r13 393r10 396r13
51K12 ST=51:30 63r22 191r16 249r40 324r45 337r33 339r45
52K12 STU=52:39 131r7 283r10
53K12 STI=53:39 109r7 138r7 159r10 311r10 380r13 399r10
54K12 OSP=54:31 162r32 329r41 337r16
60V13 To_System[5|20]{28|107P9} 411s23
63p4 Timer_Server_ID{28|107P9} 115r24 122r20 217r24 249r23 252r20 299m7 311r27
. 317r27 324m13 324r13 327m16 327r16 332m16 332r16 336r16 339m13 339r13 347m10
. 347r10 356r16 376r26 381r16 383r30 393r23 399r29 411m4
65b4 Timer_Attention{boolean} 66r19 248m10 323r17 348m10
68t9 Timer_Server 272b14 401l8 401t20 411r34
78r4 Timer_Queue{29|94R9} 230r12 247r10 351r16 358r25 359m13 386r30 408m4
. 408m24 408r24 409m4 409m24 409r24 410m4
92p7 Dpred{29|95P9} 116m7 118m7 118r7 119r21
93p7 Dsucc{29|95P9} 117m7 118r21 119m7 119r7
188p7 Self_Id{28|107P9} 195r34 196r22 199r10 203m7 203r7 203r36 206r23 207r27
. 209r18 210r20
189p7 Q{29|95P9} 230m7 232r13 233m10 233r15 239r17 240r17 242m7 242r7
273V16 Get_Next_Wakeup_Time{duration} 281b16 285l11 285t31 289s38
289o7 Next_Wakeup_Time{duration} 326r16 328m16 336r33 386m10
290b7 Timedout{boolean} 296r28 338m16
291b7 Yielded{boolean} 296r38 338m26
292o7 Now{duration} 350m10 351r48
293p7 Dequeued{29|95P9} 358m13 359r33 360m13 360r13 360r35 361m13 361r13
. 361r30 362m13 362r13 362r30 373r41 377r30 378r30 379m13 379r13 381r48
294p7 Dequeued_Task{28|107P9} 378m13 381r33 382r26
X 31 s-tasdeb.ads
38K24*Debug 30|42w21 195r21 206r10 355r42 31|148e25
133U14*Trace 30|195s27 206s16 355s48
X 32 s-tasini.ads
35K24*Initialization 30|41w21 53r39 32|190e34
107U14*Defer_Abort 30|159s14 311s14
110U14*Undefer_Abort 30|399s14
115U14*Defer_Abort_Nestable 30|109s11
118U14*Undefer_Abort_Nestable 30|138s11
183U14*Locked_Abort_To_Level 30|380s17
X 34 s-tasuti.ads
38K24*Utilities 30|40w21 52r39 34|104e29
47U14*Make_Independent 30|283s14
82U14*Exit_One_ATC_Level 30|131s11
X 36 s-traces.ads
55K16*Traces 30|46r13 57r15 58r15 36|114e18
74n7*E_Kill{58E9} 30|373r33
X 37 s-tratas.ads
41K23*Tasking 30|46w20 58r22 37|95e26
50U14*Send_Trace_Info 30|373s16
OHA YOOOO