87 lines
3.5 KiB
Plaintext
87 lines
3.5 KiB
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
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 a20642e8 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 20070406091342 3ffc8e18 ada%s
|
|
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
|
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
|
D interfac.ads 20151118101227 4be8ce1b interfaces%s
|
|
D i-c.ads 20110801143639 5421119b interfaces.c%s
|
|
D i-cstrin.ads 20140611122922 341d0ddf interfaces.c.strings%s
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-atacco.ads 20120515093410 4c36d12f system.address_to_access_conversions%s
|
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
|
D s-intman.ads 20140730124603 47ba1e06 system.interrupt_management%s
|
|
D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s
|
|
D s-osinte.ads 20150107102251 2e5b26a9 system.os_interface%s
|
|
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
|
|
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
|
|
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
|
|
D s-stausa.ads 20110804134155 017a0a05 system.stack_usage%s
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
|
D s-tasinf.ads 20140613095942 601f6b72 system.task_info%s
|
|
D s-taspri.ads 20141120144719 6c1d93d4 system.task_primitives%s
|
|
D s-tpinop.ads 20090409150019 8ec7759d system.task_primitives.interrupt_operations%s
|
|
D s-tpinop.adb 20090409150019 484396c7 system.task_primitives.interrupt_operations%b
|
|
D s-taskin.ads 20151023124846 0766baa7 system.tasking%s
|
|
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
|
|
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
|
|
D s-win32.ads 20140120152906 b7f96285 system.win32%s
|
|
X 5 i-c.ads
|
|
35I9*int<integer>
|
|
X 7 system.ads
|
|
37K9*System 200e11 21|32r6 33r6 35r9 38r23 39r23 50r5 22|32r14 77r5
|
|
X 10 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 16 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
|
|
41K16*Task_Primitives 7|37k9 20|119e27 21|35r16 50r12 22|32r21 77r12
|
|
X 21 s-tpinop.ads
|
|
35K32*Interrupt_Operations 20|41k16 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{10|55I9} 22|72b32 74r25
|
|
41p61 T{23|109P9} 22|72b61 74r39
|
|
44V13*Get_Interrupt_ID{10|55I9} 44>31 22|46b13 57l8 57t24
|
|
44p31 T{23|109P9} 22|46b31 51r44
|
|
47V13*Get_Task_Id{23|109P9} 47>26 22|63b13 66l8 66t19
|
|
47i26 Interrupt{10|55I9} 22|63b26 65r32
|
|
X 22 s-tpinop.adb
|
|
38a4 Interrupt_ID_Map(23|109P9) 39m24 39r24 51r13 65r14 74m7
|
|
50i11 Interrupt{10|55I9} 51r31 52r20
|
|
X 23 s-taskin.ads
|
|
47K16*Tasking 21|33w13 39r30 23|1211e19
|
|
109P9*Task_Id(107R9) 21|41r68 44r38 47r65 22|38r53 46r38 47r19 63r65 72r68
|
|
|