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=x86-64
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	c9f4d638 NE OL PR PK
W system%s		system.ads		system.ali
W system.os_interface%s	s-osinte.adb		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 system.ads		20151123113124 c631886f system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-osinte.ads		20260620122913 ec6e1a7e 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 e3ab4429 system.task_primitives%s
X 5 system.ads
37K9*System 148e11 10|41r6 43r9 66r28 70r39 76r20 77r20 80r25 92r19 95r20
. 100r24 108r21 113r20 120r5
67M9*Address 10|66r35 108r28
X 7 s-osinte.ads
46K16*OS_Interface 634e24 10|41w13 70r46 76r27 77r27 80r32 92r26 95r27 100r31
. 113r27
276M9*pthread_t<5|67M9> 10|100r44
279M9*pthread_mutex_t<5|67M9> 10|77r40 80r45 92r39
280M9*pthread_cond_t<5|67M9> 10|95r40 113r40
297M12*pthread_rwlock_t{279M9} 10|76r40
319N4*Alternate_Stack_Size 10|70r59
X 10 s-taspri.ads
43K16*Task_Primitives 5|37k9 10|75E9 120l12 120e27
46R9*Lock 75c9 78e14
49M9*RTS_Lock<7|279M9> 80c9 116r19
54R9*Suspension_Object 82c9 97e14
57P9*Task_Body_Access
61R9*Private_Data 99c9 118e14
66M12*Task_Address{5|67M9}
67N4*Task_Address_Size
70N4*Alternate_Stack_Size
76m7*RW{7|297M12}
77m7*WO{7|279M9}
83b7*State{boolean}
89b7*Waiting{boolean}
92m7*L{7|279M9}
95m7*CV{7|280M9}
100m7*Thread{7|276M9}
108m7*LWP{5|67M9}
113m7*CV{7|280M9}
116m7*L{49M9}

