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_IMPLICIT_LOOPS
RV NO_DEFAULT_INITIALIZATION
RV NO_ELABORATION_CODE
RV SPARK

U system.task_primitives.interrupt_operations%b  s-tpinop.adb  c684e35a OL PK
W system.task_primitives%s  s-taspri.ads	s-taspri.ali

U system.task_primitives.interrupt_operations%s  s-tpinop.ads  85622e65 EE NE OL PR PK
W system%s		system.ads		system.ali
W system.interrupt_management%s  s-intman.adb	s-intman.ali
W system.task_primitives%s  s-taspri.ads	s-taspri.ali
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-intman.ads		20121213103024 47ba1e06
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-tpinop.ads		20121213103024 8ec7759d
D s-tpinop.adb		20121213103024 484396c7
D s-taskin.ads		20121213103029 59e95256
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
X 5 i-c.ads
35I9*int<integer>
X 6 system.ads
37K9*System 152e11 23|32r6 33r6 35r9 38r23 39r23 50r5 24|32r14 77r5
X 9 s-intman.ads
50K16*Interrupt_Management 111e32 23|32w13 38r30
55I9*Interrupt_ID<5|35I9> 23|41r47 44r57 47r41 24|38r33 46r57 50r27 63r41
. 72r47
X 17 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 22 s-taspri.ads
43K16*Task_Primitives 6|37k9 22|125e27 23|35r16 50r12 24|32r21 77r12
X 23 s-tpinop.ads
35K32*Interrupt_Operations 22|43k16 23|50l28 50e48 24|32b37 77l28 77t48
38K12*IM=38:30 41r44 44r54 47r38 24|38r30 46r54 50r24 63r38 72r44
39K12*ST=39:30 41r65 44r35 47r62 24|38r50 46r35 47r16 63r62 72r65
41U14*Set_Interrupt_ID 41>32 41>61 24|72b14 75l8 75t24
41i32 Interrupt{9|55I9} 24|72b32 74r25
41p61 T{25|107P9} 24|72b61 74r39
44V13*Get_Interrupt_ID{9|55I9} 44>31 24|46b13 57l8 57t24
44p31 T{25|107P9} 24|46b31 51r44
47V13*Get_Task_Id{25|107P9} 47>26 24|63b13 66l8 66t19
47i26 Interrupt{9|55I9} 24|63b26 65r32
X 24 s-tpinop.adb
38a4 Interrupt_ID_Map(25|107P9) 39m24 39r24 51r13 65r14 74m7
50i11 Interrupt{9|55I9} 51r31 52r20
X 25 s-taskin.ads
47K16*Tasking 23|33w13 39r30 25|1214e19
107P9*Task_Id(105R9) 23|41r68 44r38 47r65 24|38r53 46r38 47r19 63r65 72r68