V "GNAT Lib v6"
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_05

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  a78e1d7e 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		20181026125434 3ffc8e18 ada%s
D a-except.ads		20181026125434 291912d5 ada.exceptions%s
D a-unccon.ads		20181026125434 f9eb8f06 ada.unchecked_conversion%s
D interfac.ads		20181026125434 4be8ce1b interfaces%s
D i-c.ads		20181026125434 5421119b interfaces.c%s
D system.ads		20181026171110 a148bd5e system%s
D s-atacco.ads		20181026125434 4c36d12f system.address_to_access_conversions%s
D s-exctab.ads		20181026125434 54135002 system.exception_table%s
D s-intman.ads		20181026125434 47ba1e06 system.interrupt_management%s
D s-multip.ads		20181026125434 38ac9f73 system.multiprocessors%s
D s-osinte.ads		20181026125434 86be1773 system.os_interface%s
D s-parame.ads		20181026125434 7e2a0d7f system.parameters%s
D s-soflin.ads		20181026125434 14e1eb6c system.soft_links%s
D s-stache.ads		20181026125434 a37c21ec system.stack_checking%s
D s-stausa.ads		20181026125434 017a0a05 system.stack_usage%s
D s-stalib.ads		20181026125434 09bd3940 system.standard_library%s
D s-stoele.ads		20181026125434 2dc34a04 system.storage_elements%s
D s-tasinf.ads		20181026125434 801abd01 system.task_info%s
D s-taspri.ads		20181026125434 6995cc42 system.task_primitives%s
D s-tpinop.ads		20181026125434 8ec7759d system.task_primitives.interrupt_operations%s
D s-tpinop.adb		20181026125434 484396c7 system.task_primitives.interrupt_operations%b
D s-taskin.ads		20181026125434 0766baa7 system.tasking%s
D s-traent.ads		20181026125434 005bf670 system.traceback_entries%s
D s-unstyp.ads		20181026125434 9d58a4c0 system.unsigned_types%s
X 5 i-c.ads
35I9*int<integer>
X 6 system.ads
37K9*System 148e11 20|32r6 33r6 35r9 38r23 39r23 50r5 21|32r14 77r5
X 9 s-intman.ads
50K16*Interrupt_Management 111e32 20|32w13 38r30
55I9*Interrupt_ID<5|35I9> 20|41r47 44r57 47r41 21|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 19 s-taspri.ads
38K16*Task_Primitives 6|37k9 19|62e27 20|35r16 50r12 21|32r21 77r12
X 20 s-tpinop.ads
35K32*Interrupt_Operations 19|38k16 20|50l28 50e48 21|32b37 77l28 77t48
38K12*IM=38:30 41r44 44r54 47r38 21|38r30 46r54 50r24 63r38 72r44
39K12*ST=39:30 41r65 44r35 47r62 21|38r50 46r35 47r16 63r62 72r65
41U14*Set_Interrupt_ID 41>32 41>61 21|72b14 75l8 75t24
41i32 Interrupt{9|55I9} 21|72b32 74r25
41p61 T{22|109P9} 21|72b61 74r39
44V13*Get_Interrupt_ID{9|55I9} 44>31 21|46b13 57l8 57t24
44p31 T{22|109P9} 21|46b31 51r44
47V13*Get_Task_Id{22|109P9} 47>26 21|63b13 66l8 66t19
47i26 Interrupt{9|55I9} 21|63b26 65r32
X 21 s-tpinop.adb
38a4 Interrupt_ID_Map(22|109P9) 39m24 39r24 51r13 65r14 74m7
50i11 Interrupt{9|55I9} 51r31 52r20
X 22 s-taskin.ads
47K16*Tasking 20|33w13 39r30 22|1211e19
109P9*Task_Id(107R9) 20|41r68 44r38 47r65 21|38r53 46r38 47r19 63r65 72r68