73 lines
2 KiB
Plaintext
73 lines
2 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_ACCESS_SUBPROGRAMS
|
|
RV NO_IMPLEMENTATION_ATTRIBUTES
|
|
RV NO_IMPLEMENTATION_PRAGMAS
|
|
RV SPARK_05
|
|
|
|
U system.task_primitives%s s-taspri.ads d81a47c0 NE OL PR PK
|
|
W system%s system.ads system.ali
|
|
W system.os_interface%s s-osinte.ads s-osinte.ali
|
|
W system.win32%s s-win32.ads s-win32.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-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-taspri.ads 20141120144719 6c1d93d4 system.task_primitives%s
|
|
D s-win32.ads 20140120152906 b7f96285 system.win32%s
|
|
X 4 i-c.ads
|
|
45M9*unsigned_long
|
|
56I9*ptrdiff_t<integer>
|
|
X 6 system.ads
|
|
37K9*System 200e11 11|38r6 39r6 41r9 64r28 74r32 79r35 81r25 93r19 119r5
|
|
67M9*Address 11|64r35
|
|
X 8 s-osinte.ads
|
|
48K16*OS_Interface 375e24 11|38w13 74r39 81r32 93r26
|
|
147R9*CRITICAL_SECTION 373e14 11|74r52 81r45 93r39
|
|
X 11 s-taspri.ads
|
|
41K16*Task_Primitives 6|37k9 11|73E9 119l12 119e27
|
|
44R9*Lock 73c9 77e14
|
|
47R9*RTS_Lock<8|147R9> 81c9 115r19
|
|
52R9*Suspension_Object 83c9 98e14
|
|
55P9*Task_Body_Access
|
|
59R9*Private_Data 100c9 117e14
|
|
64M12*Task_Address{6|67M9}
|
|
65N4*Task_Address_Size
|
|
68N4*Alternate_Stack_Size
|
|
74r7*Mutex{8|147R9}
|
|
75i7*Priority{integer}
|
|
76i7*Owner_Priority{integer}
|
|
79I9 Condition_Variable<12|55I9> 112r20
|
|
84b7*State{boolean}
|
|
90b7*Waiting{boolean}
|
|
93r7*L{8|147R9}
|
|
96i7*CV{12|55I9}
|
|
101i7*Thread{12|55I9}
|
|
109m7*Thread_Id{12|60M9}
|
|
112i7*CV{79I9}
|
|
115r7*L{47R9}
|
|
X 12 s-win32.ads
|
|
39K16*Win32 11|39w13 79r42 96r20 101r24 109r27 12|342e17
|
|
55I9*HANDLE<4|56I9> 11|79r48 96r26 101r30
|
|
60M9*DWORD<4|45M9> 11|109r33
|
|
|