V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P

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  b1ce397c 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		20070406121342 3ffc8e18
D a-except.ads		20120716155142 10fcae55
D a-unccon.ads		20070406121342 f9eb8f06
D interfac.ads		20110906124622 129923ea
D i-c.ads		20110801173640 5421119b
D system.ads		20150624111858 462fcf90
D s-atacco.ads		20120515123410 4c36d12f
D s-exctab.ads		20090417161548 66e51330
D s-intman.ads		20090409180020 47ba1e06
D s-multip.ads		20101011103010 38ac9f73
D s-osinte.ads		20130104154956 86be1773
D s-parame.ads		20110830170626 b6e20cc0
D s-soflin.ads		20120515124620 24c8153c
D s-stache.ads		20090417160712 596fc1b4
D s-stausa.ads		20110804164156 017a0a05
D s-stalib.ads		20130104154956 f78bcf95
D s-stoele.ads		20090417160712 facd7d98
D s-stoele.adb		20100617182356 afc5dc80
D s-tasinf.ads		20090409180020 e120e23a
D s-taspri.ads		20110927124500 215a00b1
D s-tpinop.ads		20090409180020 8ec7759d
D s-tpinop.adb		20090409180020 484396c7
D s-taskin.ads		20121029143218 59e95256
D s-traent.ads		20090417160712 5221ee41
D s-unstyp.ads		20090409180020 6ae15c76
X 5 i-c.ads
35I9*int<integer>
X 6 system.ads
42K9*System 160e11 21|32r6 33r6 35r9 38r23 39r23 50r5 22|32r14 77r5
X 9 s-intman.ads
50K16*Interrupt_Management 111e32 21|32w13 38r30
55I9*Interrupt_ID<5|35I9> 21|41r47 44r57 47r41 22|38r33 46r57 50r27 63r41
. 72r47
X 15 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 20 s-taspri.ads
38K16*Task_Primitives 6|42k9 20|67e27 21|35r16 50r12 22|32r21 77r12
X 21 s-tpinop.ads
35K32*Interrupt_Operations 20|38k16 21|50l28 50e48 22|32b37 77l28 77t48
38K12*IM=38:30 41r44 44r54 47r38 22|38r30 46r54 50r24 63r38 72r44
39K12*ST=39:30 41r65 44r35 47r62 22|38r50 46r35 47r16 63r62 72r65
41U14*Set_Interrupt_ID 41>32 41>61 22|72b14 75l8 75t24
41i32 Interrupt{9|55I9} 22|72b32 74r25
41p61 T{23|107P9} 22|72b61 74r39
44V13*Get_Interrupt_ID{9|55I9} 44>31 22|46b13 57l8 57t24
44p31 T{23|107P9} 22|46b31 51r44
47V13*Get_Task_Id{23|107P9} 47>26 22|63b13 66l8 66t19
47i26 Interrupt{9|55I9} 22|63b26 65r32
X 22 s-tpinop.adb
38a4 Interrupt_ID_Map(23|107P9) 39m24 39r24 51r13 65r14 74m7
50i11 Interrupt{9|55I9} 51r31 52r20
X 23 s-taskin.ads
47K16*Tasking 21|33w13 39r30 23|1214e19
107P9*Task_Id(105R9) 21|41r68 44r38 47r65 22|38r53 46r38 47r19 63r65 72r68