MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U system.task_primitives%s  s-taspri.ads	1659edba 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		20121213103024 3ffc8e18
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D i-c.ads		20121213103024 5421119b
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-linux.ads		20121213103024 70c7cb45
D s-oscons.ads		20190424142132 972e6764
D s-osinte.ads		20121213103024 938b6b03
D s-parame.ads		20121213103024 b6e20cc0
D s-stalib.ads		20130106093355 f78bcf95
D s-taspri.ads		20121213103024 15f617a8
D s-unstyp.ads		20121213103024 6ae15c76
X 4 i-c.ads
45M9*unsigned_long
X 5 system.ads
37K9*System 152e11 12|41r6 43r9 66r28 75r39 81r20 82r20 85r25 97r19 100r20
. 105r24 113r21 118r20 125r5
64M9*Address 12|66r35 113r28
X 9 s-osinte.ads
46K16*OS_Interface 656e24 12|41w13 75r46 81r27 82r27 85r32 97r26 100r27 105r31
. 118r27
276M9*pthread_t<4|45M9> 12|105r44
282R9*pthread_mutex_t 632e14 12|82r40 85r45 97r39
283R9*pthread_rwlock_t 644e14 12|81r40
284R9*pthread_cond_t 650e14 12|100r40 118r40
313N4*Alternate_Stack_Size 12|75r59
X 12 s-taspri.ads
43K16*Task_Primitives 5|37k9 12|125l12 125e27
46R9*Lock 80c9 83e14
49R9*RTS_Lock 85c9 121r19
54R9*Suspension_Object 87c9 102e14
57P9*Task_Body_Access
61R9*Private_Data 104c9 123e14
66M12*Task_Address{5|64M9}
72N4*Task_Address_Size
75N4*Alternate_Stack_Size
81r7*RW{9|283R9}
82r7*WO{9|282R9}
88b7*State{boolean}
94b7*Waiting{boolean}
97r7*L{9|282R9}
100r7*CV{9|284R9}
105m7*Thread{9|276M9}
113m7*LWP{5|64M9}
118r7*CV{9|284R9}
121r7*L{49R9}