76 lines
2.3 KiB
Plaintext
76 lines
2.3 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 SPARK_05
|
|
|
|
U system.interrupt_management%b s-intman.adb da8ccc08 NE OL PK
|
|
W system%s system.ads system.ali
|
|
W system.os_interface%s s-osinte.ads s-osinte.ali
|
|
|
|
U system.interrupt_management%s s-intman.ads 1065b90c NE OL PR PK
|
|
W interfaces%s interfac.ads interfac.ali
|
|
W interfaces.c%s i-c.adb i-c.ali
|
|
W system%s system.ads system.ali
|
|
W system.os_interface%s s-osinte.ads s-osinte.ali
|
|
|
|
D ada.ads 20070406091342 3ffc8e18 ada%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-exctab.ads 20140225151139 54135002 system.exception_table%s
|
|
D s-intman.ads 20140730124603 47ba1e06 system.interrupt_management%s
|
|
D s-intman.adb 20090409150019 b36df4a7 system.interrupt_management%b
|
|
D s-osinte.ads 20150107102251 2e5b26a9 system.os_interface%s
|
|
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
|
D s-win32.ads 20140120152906 b7f96285 system.win32%s
|
|
X 3 interfac.ads
|
|
38K9*Interfaces 183e15 8|48r6 55r29
|
|
X 4 i-c.ads
|
|
18K20*C 230e17 8|48w17 55r40
|
|
35I9*int<integer> 8|55r42
|
|
45M9*unsigned_long
|
|
X 6 system.ads
|
|
37K9*System 200e11 8|46r6 50r9 56r17 98r31 102r18 103r18 111r5 9|34r6 34r31
|
|
. 36r14 59r5
|
|
67M9*Address 8|103r25
|
|
X 8 s-intman.ads
|
|
50K16*Interrupt_Management 6|37k9 8|98E9 111l12 111e32 9|36b21 59l12 59t32
|
|
53M9*Interrupt_Mask<10|95M9> 98c9
|
|
55I9*Interrupt_ID<4|35I9> 58r33 73r27 9|47r16
|
|
58A9*Interrupt_Set(boolean)<55I9> 77r20 86r14
|
|
73i4*Abort_Task_Interrupt{55I9}
|
|
77a4*Keep_Unmasked{58A9}
|
|
86a4*Reserve{58A9} 9|48m10 51m7 52m7 53m7 54m7 55m7 56m7
|
|
92U14*Initialize 9|42b14 57l8 57t18
|
|
101U14 Adjust_Context_For_Raise 102>7 103>7 105b<c,__gnat_adjust_context_for_raise>10
|
|
102i7 Signo{10|84I9}
|
|
103m7 Ucontext{6|67M9}
|
|
X 9 s-intman.adb
|
|
47i11 J{8|55I9} 48r19
|
|
X 10 s-osinte.ads
|
|
48K16*OS_Interface 8|46w13 56r24 98r38 102r25 9|34w13 34r38 10|375e24
|
|
83N4*Max_Interrupt 8|56r37
|
|
84I9*Signal<4|35I9> 8|102r38
|
|
87N4*SIGINT 9|51r16
|
|
88N4*SIGILL 9|52r16
|
|
89N4*SIGFPE 9|54r16
|
|
90N4*SIGSEGV 9|55r16
|
|
91N4*SIGTERM 9|56r16
|
|
93N4*SIGABRT 9|53r16
|
|
95M9*sigset_t<4|45M9> 8|98r51
|
|
|