libgnatcoll1.6-dev 1.6gpl2014-6 / usr / lib / x86_64-linux-gnu / ada / adalib / gnatcoll / gnatcoll-ravenscar-multiple_queue_sporadic_server.ali

V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_DELAY
RV NO_PROTECTED_TYPES
RV NO_STANDARD_STORAGE_POOLS
RV NO_TASKING
RV STATIC_PRIORITIES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
RV MAX_PROTECTED_ENTRIES=1
RV MAX_ENTRY_QUEUE_LENGTH=1+

U gnatcoll.ravenscar.multiple_queue_sporadic_server%b  gnatcoll-ravenscar-multiple_queue_sporadic_server.adb  6d0064a7 NE OO PK GE IU
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali
W gnatcoll.ravenscar%s	gnatcoll-ravenscar.ads	gnatcoll-ravenscar.ali
W gnatcoll.ravenscar.utils%s  gnatcoll-ravenscar-utils.adb  gnatcoll-ravenscar-utils.ali

U gnatcoll.ravenscar.multiple_queue_sporadic_server%s  gnatcoll-ravenscar-multiple_queue_sporadic_server.ads  bd220cf5 BN EE NE OO PK GE
W ada%s			ada.ads			ada.ali
W ada.real_time%s	a-reatim.adb		a-reatim.ali
W gnatcoll.ravenscar%s	gnatcoll-ravenscar.ads	gnatcoll-ravenscar.ali
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-reatim.ads		20090409150019 63f07669
D a-unccon.ads		20070406091342 f9eb8f06
D gnatcoll.ads		20140810010057 6a5da479
D gnatcoll-ravenscar.ads  20140810010057 44b9854e
D gnatcoll-ravenscar-multiple_queue_sporadic_server.ads  20140810010057 0a4f6ec3
D gnatcoll-ravenscar-multiple_queue_sporadic_server.adb  20140810010057 46de5c34
D gnatcoll-ravenscar-utils.ads  20140810010057 21915650
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20140921225607 90249111
D s-atacco.ads		20120515093410 4c36d12f
D s-exctab.ads		20140225151139 54135002
D s-linux.ads		20140409145429 5b2f79a5
D s-multip.ads		20101011073009 38ac9f73
D s-oscons.ads		20140921225608 a445b120
D s-osinte.ads		20140409145429 59011f13
D s-parame.ads		20140225151139 ab8cb46a
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stausa.ads		20110804134155 017a0a05
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-tasinf.ads		20120730151500 21316953
D s-taspri.ads		20110927094500 15f617a8
D s-taprop.ads		20111212143339 1dd2e1b6
D s-taskin.ads		20140131154341 3f821f32
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 7|85r6 95r24 95r46 164r29 8|127r29 130r26 139r22 140r22 141r11
X 3 a-reatim.ads
39K13*Real_Time 139e18 7|85w10 95r28 95r50 164r33 8|127r33 130r30 139r26
. 140r26 141r15
41O9*Time<duration> 7|95r38 164r43 8|127r43 139r36 140r36
46O9*Time_Span<duration>
53V13*Clock{41O9} 7|95s60 8|130s40
55V14*"+"{41O9} 8|153s36
85V13*Milliseconds{46O9} 8|153s38
X 5 gnatcoll.ads
24K9*GNATCOLL 26e13 7|114r9 183r5 8|30r6 32r14 33r8 159r5
X 6 gnatcoll-ravenscar.ads
35K18*Ravenscar 5|24k9 6|43e23 7|114r18 183r14 8|30r15 32r23 33r17 159r14
37I12*Millisecond{integer} 7|92r31
39I12*Queue_Size{integer} 7|102r9
41I12*Queue_Range{positive} 7|133r58
X 7 gnatcoll-ravenscar-multiple_queue_sporadic_server.ads
89i4 Task_Priority{12|106I12} 179r24
92i4 Minimum_Interelease_Time{6|37I12} 8|153r52
95o4 System_Start_Time{3|41O9} 8|140r44
98i4 Protocol_Ceiling{12|105I12} 156r24
102i4 QS{6|39I12} 127r38 136r50 8|69r49
105E9 Request_Kind 118r14 130r29 133r35 140r17 160r17 172r21 8|37r14 57r17
108+9 Request 111r35 117r18 124r40 127r53 159r21 163r25 8|36r18 56r21 104r45
. 126r25 138r18
111U19 Dispatch 111>29 8|151s10
111*29 Req{108+9}
114k28*Multiple_Queue_Sporadic_Server 6|35k18 7|89z4 92z4 95z4 98z4 102z4
. 105z9 108z9 111z19 124E9 183l24 183e54 8|32b33 159l24 159t54
116U14*Put_Request 117>7 118>7 8|35b14 45l8 45t19
117*7 Req{108+9} 8|36b7 43r21
118*7 Kind{105E9} 8|37b7 43r26
124P9 Request_Type_Ref(108+9) 141r13 8|59r25
127A9 Request_Queue(108+9)<integer> 130r52
130A9 All_Queue(127A9)<105E9> 168r37
133A9 All_Queue_Index(6|41I12)<105E9> 169r37
136i4 Pointer_Queue_Range_Max{integer} 149r32 8|70r23 79r13 90r16 116r13
139R9 Pointer_Queue_Item 142e14 145r46 150r24
140*7 Kind{105E9}
141p7 Req{124P9} 8|118r25
145P9 Pointer_Queue_Item_Ref(139R9) 8|105r16
148A9 Pointer_Queue(139R9)<integer> 171r37
153w14 Protocol 8|43r7 47b19 135l8 135t16 149r10
158U17 Put 159>10 160>10 8|43s16 55b17 102l11 102t14
159*10 Req{108+9} 8|56b10 65r51
160*10 Kind{105E9} 8|57b10 60r21 60r42 65r18 65r39 69r42 76r53
162Y13 Get 163<10 164<10 8|125b13 133l11 133t14 149s19
163*10 Req{108+9} 8|131m28
164o10 Release_Time{3|41O9} 8|130m10
167b7 Barrier{boolean} 8|51m10 127r54
168a7 Queues{130A9} 8|60m13 60r13 65m10
169a7 Insert_Index{133A9} 8|60r28 65r25 69m28 69r28
170i7 Pending{integer} 8|51r21 70r13 71m13 71r24 120m10 120r21
171a7 Ptr_Queue{148A9} 8|76m10 113m17 113r17
173i7 Pointer_Queue_Insert_Index{integer} 8|76r21 78m13 78r13 94r13 108r13
174i7 Pointer_Queue_Extract_Index{integer} 8|89m16 89r16 94r42 108r42 113r28
. 115m13 115r13
175b7 Pointer_Queue_Overflow{boolean} 8|87r13 95m13 109m13
178t9 Sporadic_Task 8|137b14 157l8 157t21
X 8 gnatcoll-ravenscar-multiple_queue_sporadic_server.adb
49U17 Update_Barrier 49b17 52l11 52t25 53r22 100s10 132s10
59p10 Ref{7|124P9} 76r59
104U17 Get_Next_Request 104b17 122l11 122t27 123r22 131s10
105p10 Ref{7|145P9} 113m10 118r21
126*10 Req{7|108+9}
127o10 Release_Time{3|41O9}
138*7 Req{7|108+9} 149m24 151r20
139o7 Release_Time{3|41O9} 149m29 153r23
140o7 Next_Time{3|41O9} 147r22 153m10
X 9 gnatcoll-ravenscar-utils.ads
31K28*Utils 8|30w25 33r27 9|39e29
33U14*Increase_Counter 8|69s10 77s10 88s13 114s10
X 12 system.ads
37K9*System 7|84w6 89r20 98r23 12|152e11
105I12*Any_Priority{integer} 7|98r30
106I12*Priority{105I12} 7|89r27
X 22 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22