1V "GNAT Lib v9"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_ACCESS_SUBPROGRAMS
16RV NO_FIXED_POINT
17RV NO_LONG_LONG_INTEGERS
18RV NO_STANDARD_STORAGE_POOLS
19RV NO_UNCHECKED_CONVERSION
20RV NO_IMPLEMENTATION_PRAGMAS
21RV SPARK_05
22
23U system.os_interface%b	s-osinte.adb		6e7baca1 NE OL PK
24W interfaces%s		interfac.ads		interfac.ali
25W interfaces.c%s	i-c.adb			i-c.ali
26W system%s		system.ads		system.ali
27
28U system.os_interface%s	s-osinte.ads		ca08ef85 BN NE OL PR PK
29W ada%s			ada.ads			ada.ali
30W ada.unchecked_conversion%s
31W interfaces%s		interfac.ads		interfac.ali
32W interfaces.c%s	i-c.adb			i-c.ali
33W system%s		system.ads		system.ali
34L "-pthread"
35
36D ada.ads		20170911084841 76789da1 ada%s
37D a-unccon.ads		20170908151217 0e9b276f ada.unchecked_conversion%s
38D interfac.ads		20190108095404 5ab55268 interfaces%s
39D i-c.ads		20170908151217 5421119b interfaces.c%s
40D system.ads		20190108095404 c631886f system%s
41D s-exctab.ads		20190108095404 54135002 system.exception_table%s
42D s-osinte.ads		20190108095404 5683511e system.os_interface%s
43D s-osinte.adb		20190108095404 6cd9ec24 system.os_interface%b
44D s-parame.ads		20190108095404 48ec542b system.parameters%s
45D s-stalib.ads		20190108095404 09bd3940 system.standard_library%s
46X 1 ada.ads
4716K9*Ada 20e8 7|42r6 274r6
48X 2 a-unccon.ads
4920v14*Unchecked_Conversion 7|42w10 274r10
50X 3 interfac.ads
5138K9*Interfaces 184e15 7|44r6 51r30 52r30 53r30 54r30 55r30 56r30 57r30 58r30
52. 59r30 240r42 8|35r6 35r24 86r42 89r14
53X 4 i-c.ads
5418K20*C 230e17 7|44w17 51r41 52r41 53r41 54r41 55r41 56r41 57r41 58r41 59r41
55. 240r53 8|35w17 35r35 86r53 89r25
5635I9*int<integer> 7|51r43 240r55 8|86r55 89r27
5736I9*short<short_integer> 7|52r43
5837I9*long<long_integer> 7|53r43
5943M9*unsigned 7|54r43
6044M9*unsigned_short 7|55r43
6145M9*unsigned_long 7|56r43
6247M9*unsigned_char 7|57r43
6350M12*plain_char{47M9} 7|58r43
6460M9*size_t 7|59r43
65X 5 system.ads
6637K9*System 148e11 7|46r9 159r20 166r20 240r14 259r29 270r22 270r45 274r32
67. 305r18 316r30 575r23 581r37 593r15 596r62 599r55 613r16 644r36 645r36 646r36
68. 647r36 648r36 649r36 652r5 8|37r14 86r14 116r5
6967M9*Address 7|159r27 166r27 259r36 270r29 270r52 274r39 305r25 316r37 328r56
70. 345r30 575r30 581r44 593r22 596r69 599r62 613r23 644r43 645r43 646r43 647r43
71. 648r43 649r43 8|57r56
7269m4*Null_Address{67M9} 8|60r14
73100I12*Any_Priority{integer} 7|240r21 8|86r21
74X 7 s-osinte.ads
7546K16*OS_Interface 5|37k9 7|618E9 652l12 652e24 8|37b21 116l12 116t24
7651I12*int{4|35I9} 65r26 79r23 80r24 136r28 141r28 144r55 149r28 152r56 161r20
77. 167r20 188r43 200r62 207r42 213r14 223r24 224r24 249r53 307r18 313r36 333r34
78. 345r60 345r72 365r35 370r31 374r14 376r38 384r49 388r49 393r50 396r75 399r72
79. 402r74 406r48 410r48 415r48 418r72 421r71 426r46 432r41 448r18 448r30 454r25
80. 454r37 460r21 460r33 467r28 467r40 473r24 479r23 480r50 485r16 486r50 491r25
81. 491r37 496r32 496r44 501r22 501r34 507r29 507r41 513r16 513r28 519r23 519r35
82. 525r21 525r33 530r28 530r40 533r32 540r75 544r50 549r21 549r33 555r28 555r40
83. 561r41 567r34 575r46 578r56 593r39 604r47 613r39 634r22 650r36 8|43r26
84. 44r34
8552I12*short{4|36I9}
8653I12*long{4|37I9} 636r23 640r17 8|113r35
8754M12*unsigned{4|43M9} 618r39
8855M12*unsigned_short{4|44M9}
8956M12*unsigned_long{4|45M9} 203r26 228r33
9057M12*unsigned_char{4|47M9}
9158M12*plain_char{4|50M12}
9259M12*size_t{4|60M9} 306r18 345r45 561r26 567r19
9365V13*Errno{51I12} 66r19 8|43b13 51l8 51t13
9468N4*EAGAIN
9569N4*EINTR
9670N4*EINVAL
9771N4*ENOMEM
9872N4*ETIMEDOUT
9978N4*Max_Interrupt 79r38
10079I9*Signal<4|35I9> 80r8 120r51 136r13 141r13 149r13 186r14 249r38 365r20
101. 370r16
10282N4*SIGHUP
10383N4*SIGINT
10484N4*SIGQUIT
10585N4*SIGILL
10686N4*SIGTRAP 126r7
10787N4*SIGIOT
10888N4*SIGABRT 116r30
10989N4*SIGEMT
11090N4*SIGFPE
11191N4*SIGKILL
11292N4*SIGBUS 126r16
11393N4*SIGSEGV
11494N4*SIGSYS
11595N4*SIGPIPE
11696N4*SIGALRM
11797N4*SIGTERM
11898N4*SIGURG
11999N4*SIGSTOP
120100N4*SIGTSTP 126r42
121101N4*SIGCONT
122102N4*SIGCLD
123103N4*SIGCHLD
124104N4*SIGTTIN 126r24
125105N4*SIGTTOU 126r33
126106N4*SIGIO
127107N4*SIGXCPU
128108N4*SIGXFSZ
129109N4*SIGVTALRM
130110N4*SIGPROF 130r49
131111N4*SIGWINCH
132112N4*SIGINFO
133113N4*SIGUSR1
134114N4*SIGUSR2
135116N4*SIGADAABORT
136120A9*Signal_Set(79I9)<integer> 125r24 130r24
137125a4*Unmasked{120A9}
138130a4*Reserved{120A9}
139132A9*sigset_t(54M12) 135r20 140r20 144r38 148r20 152r39 160r20 168r20 364r20
140. 375r21 376r21 618c9
141134V13*sigaddset{51I12} 135^7 136>7 137b<c,sigaddset>22
142135p7 set(132A9)
143136i7 sig{79I9}
144139V13*sigdelset{51I12} 140^7 141>7 142b<c,sigdelset>22
145140p7 set(132A9)
146141i7 sig{79I9}
147144V13*sigfillset{51I12} 144^25 145b<c,sigfillset>22
148144p25 set(132A9)
149147V13*sigismember{51I12} 148^7 149>7 150b<c,sigismember>22
150148p7 set(132A9)
151149i7 sig{79I9}
152152V13*sigemptyset{51I12} 152^26 153b<c,sigemptyset>22
153152p26 set(132A9)
154156R9*struct_sigcontext 631c9 632r26
155158R9*old_struct_sigaction 162e14 163r26
156159m7*sa_handler{5|67M9}
157160a7*sa_mask{132A9}
158161i7*sa_flags{51I12}
159165R9*new_struct_sigaction 169e14 170r26 172r32
160166m7*sa_handler{5|67M9}
161167i7*sa_flags{51I12}
162168a7*sa_mask{132A9}
163172R12*struct_sigaction{165R9} 173r44
164173P9*struct_sigaction_ptr(172R12) 187r14 188r14
165175N4*SIG_BLOCK
166176N4*SIG_UNBLOCK
167177N4*SIG_SETMASK
168179N4*SIG_DFL
169180N4*SIG_IGN
170182N4*SA_SIGINFO
171183N4*SA_ONSTACK
172185V13*sigaction{51I12} 186>7 187>7 188>7 189b<c,sigaction>22
173186i7 sig{79I9}
174187p7 act{173P9}
175188p7 oact{173P9}
176195b4*Time_Slice_Supported{boolean}
177198R9*timespec 200r44 207r25 212r25 216r31 219r47 432r24 638c9 641e14 642r26
178. 8|76r31 96r47 112r14
179200V13*nanosleep{51I12} 200^24 200^30 201b<c,nanosleep>22
180200p24 rqtp(198R9)
181200p30 rmtp(198R9)
182203M9*clockid_t<4|45M9> 206r18 211r18
183205V13*clock_getres{51I12} 206>7 207^7 208b<c,clock_getres>22
184206m7 clock_id{203M9}
185207p7 res(198R9)
186210V13*clock_gettime{51I12} 211>7 212^7 214b<c,clock_gettime>22
187211m7 clock_id{203M9}
188212p7 tp(198R9)
189216V13*To_Duration{duration} 216>26 217r19 8|76b13 79l8 79t19
190216r26 TS{198R9} 8|76b26 78r24 78r47
191219V13*To_Timespec{198R9} 219>26 220r19 8|96b13 114l8 114t19
192219o26 D{duration} 8|96b26 101r39 102r12
193222R9*struct_timezone 225e14 226r26
194223i7*tz_minuteswest{51I12}
195224i7*tz_dsttime{51I12}
196228U14*usleep 228>22 229b<c,usleep>22
197228m22 useconds{56M12}
198235N4*SCHED_FIFO
199236N4*SCHED_OTHER
200237N4*SCHED_RR
201239V13*To_Target_Priority{4|35I9} 240>7 8|85b13 90l8 90t26
202240i7 Prio{5|100I12} 8|86b7 89r32
203247I9*pid_t<4|35I9> 249r25 252r27 634c9
204249V13*kill{51I12} 249>19 249>32 250b<c,kill>22
205249i19 pid{247I9}
206249i32 sig{79I9}
207252V13*getpid{247I9} 253b<c,getpid>22
208259V13*lwp_self{5|67M9} 263b<c,pthread_self>22
209269P9*Thread_Body(5|67M9) 270>16 271r26 274r48 574r23
210270m16 arg{5|67M9}
211273V13*Thread_Body_Access[2|20]{269P9}
212276M9*pthread_t<5|67M9> 277r32 328r38 369r16 478r16 484r16 572r30 578r38
213. 584r33 612r16 644c9 8|57r38
214277M12*Thread_Id{276M9}
215279M9*pthread_mutex_t<5|67M9> 297r36 392r22 396r51 399r48 402r50 426r22 431r24
216. 646c9
217280M9*pthread_cond_t<5|67M9> 414r21 418r49 421r48 425r22 430r24 648c9
218281M9*pthread_attr_t<5|67M9> 490r32 495r32 500r32 506r29 512r23 518r23 524r28
219. 529r28 540r52 544r27 548r28 554r28 560r26 566r26 573r30 645c9
220282M9*pthread_mutexattr_t<5|67M9> 298r36 384r21 388r21 393r22 447r25 453r25
221. 459r25 466r25 647c9
222283M9*pthread_condattr_t<5|67M9> 406r21 410r21 415r21 649c9
223284I9*pthread_key_t<4|35I9> 592r15 596r40 603r27 650c9
224286N4*PTHREAD_CREATE_DETACHED
225287N4*PTHREAD_CREATE_JOINABLE
226289N4*PTHREAD_SCOPE_PROCESS
227290N4*PTHREAD_SCOPE_SYSTEM
228297M12*pthread_rwlock_t{279M9}
229298M12*pthread_rwlockattr_t{282M9}
230304R9*stack_t 308e14 309r26 312r29 313r20
231305m7*ss_sp{5|67M9}
232306m7*ss_size{59M12}
233307i7*ss_flags{51I12}
234311V13*sigaltstack{51I12} 312^7 313^7 314b<c,sigaltstack>22
235312p7 ss(304R9)
236313p7 oss(304R9)
237316m4*Alternate_Stack{5|67M9}
238319N4*Alternate_Stack_Size
239322b4*Stack_Base_Available{boolean}
240328V13*Get_Stack_Base{5|67M9} 328>29 329r19 8|57b13 61l8 61t22
241328m29 thread{276M9} 8|57b29 58r28
242333V13*Get_Page_Size{51I12} 334b<c,getpagesize>22
243337N4*PROT_NONE 342r29
244338N4*PROT_READ 341r29
245339N4*PROT_WRITE 341r41
246340N4*PROT_EXEC 341r54
247341N4*PROT_ALL 343r29
248342N4*PROT_ON
249343N4*PROT_OFF
250345V13*mprotect{51I12} 345>23 345>39 345>53 346b<c,mprotect>22
251345m23 addr{5|67M9}
252345m39 len{59M12}
253345i53 prot{51I12}
254357U14*pthread_init 8|67b14 70l8 70t20
255363V13*sigwait{51I12} 364^7 365^7 366b<c,sigwait>22
256364p7 set(132A9)
257365p7 sig(79I9)
258368V13*pthread_kill{51I12} 369>7 370>7 371b<c,pthread_kill>22
259369m7 thread{276M9}
260370i7 sig{79I9}
261373V13*pthread_sigmask{51I12} 374>7 375^7 376^7 377b<c,pthread_sigmask>22
262374i7 how{51I12}
263375p7 set(132A9)
264376p7 oset(132A9)
265383V13*pthread_mutexattr_init{51I12} 384^7 385b<c,pthread_mutexattr_init>22
266384p7 attr(282M9)
267387V13*pthread_mutexattr_destroy{51I12} 388^7 389b<c,pthread_mutexattr_destroy>22
268388p7 attr(282M9)
269391V13*pthread_mutex_init{51I12} 392^7 393^7 394b<c,pthread_mutex_init>22
270392p7 mutex(279M9)
271393p7 attr(282M9)
272396V13*pthread_mutex_destroy{51I12} 396^36 397b<c,pthread_mutex_destroy>22
273396p36 mutex(279M9)
274399V13*pthread_mutex_lock{51I12} 399^33 400b<c,pthread_mutex_lock>22
275399p33 mutex(279M9)
276402V13*pthread_mutex_unlock{51I12} 402^35 403b<c,pthread_mutex_unlock>22
277402p35 mutex(279M9)
278405V13*pthread_condattr_init{51I12} 406^7 407b<c,pthread_condattr_init>22
279406p7 attr(283M9)
280409V13*pthread_condattr_destroy{51I12} 410^7 411b<c,pthread_condattr_destroy>22
281410p7 attr(283M9)
282413V13*pthread_cond_init{51I12} 414^7 415^7 416b<c,pthread_cond_init>22
283414p7 cond(280M9)
284415p7 attr(283M9)
285418V13*pthread_cond_destroy{51I12} 418^35 419b<c,pthread_cond_destroy>22
286418p35 cond(280M9)
287421V13*pthread_cond_signal{51I12} 421^34 422b<c,pthread_cond_signal>22
288421p34 cond(280M9)
289424V13*pthread_cond_wait{51I12} 425^7 426^7 427b<c,pthread_cond_wait>22
290425p7 cond(280M9)
291426p7 mutex(279M9)
292429V13*pthread_cond_timedwait{51I12} 430^7 431^7 432^7 433b<c,pthread_cond_timedwait>22
293430p7 cond(280M9)
294431p7 mutex(279M9)
295432p7 abstime(198R9)
296435b4*Relative_Timed_Wait{boolean}
297442N4*PTHREAD_PRIO_NONE
298443N4*PTHREAD_PRIO_PROTECT
299444N4*PTHREAD_PRIO_INHERIT
300446V13*pthread_mutexattr_setprotocol{51I12} 447^7 448>7 450b<c,pthread_mutexattr_setprotocol>11
301447p7 attr(282M9)
302448i7 protocol{51I12}
303452V13*pthread_mutexattr_getprotocol{51I12} 453^7 454^7 456b<c,pthread_mutexattr_getprotocol>10
304453p7 attr(282M9)
305454p7 protocol(51I12)
306458V13*pthread_mutexattr_setprioceiling{51I12} 459^7 460>7 462b<c,pthread_mutexattr_setprioceiling>10
307459p7 attr(282M9)
308460i7 prioceiling{51I12}
309465V13*pthread_mutexattr_getprioceiling{51I12} 466^7 467^7 469b<c,pthread_mutexattr_getprioceiling>10
310466p7 attr(282M9)
311467p7 prioceiling(51I12)
312472R9*struct_sched_param 474e14 475r26 480r23 486r23
313473i7*sched_priority{51I12}
314477V13*pthread_getschedparam{51I12} 478>7 479^7 480^7 481b<c,pthread_getschedparam>22
315478m7 thread{276M9}
316479p7 policy(51I12)
317480p7 param(472R9)
318483V13*pthread_setschedparam{51I12} 484>7 485>7 486^7 487b<c,pthread_setschedparam>22
319484m7 thread{276M9}
320485i7 policy{51I12}
321486p7 param(472R9)
322489V13*pthread_attr_setscope{51I12} 490^7 491>7 492b<c,pthread_attr_setscope>22
323490p7 attr(281M9)
324491i7 contentionscope{51I12}
325494V13*pthread_attr_getscope{51I12} 495^7 496^7 497b<c,pthread_attr_getscope>22
326495p7 attr(281M9)
327496p7 contentionscope(51I12)
328499V13*pthread_attr_setinheritsched{51I12} 500^7 501>7 503b<c,pthread_attr_setinheritsched>10
329500p7 attr(281M9)
330501i7 inheritsched{51I12}
331505V13*pthread_attr_getinheritsched{51I12} 506^7 507^7 509b<c,pthread_attr_getinheritsched>10
332506p7 attr(281M9)
333507p7 inheritsched(51I12)
334511V13*pthread_attr_setschedpolicy{51I12} 512^7 513>7 514b<c,pthread_attr_setschedpolicy>22
335512p7 attr(281M9)
336513i7 policy{51I12}
337517V13*pthread_attr_getschedpolicy{51I12} 518^7 519^7 520b<c,pthread_attr_getschedpolicy>22
338518p7 attr(281M9)
339519p7 policy(51I12)
340523V13*pthread_attr_setschedparam{51I12} 524^7 525>7 526b<c,pthread_attr_setschedparam>22
341524p7 attr(281M9)
342525i7 sched_param{51I12}
343528V13*pthread_attr_getschedparam{51I12} 529^7 530^7 531b<c,pthread_attr_getschedparam>22
344529p7 attr(281M9)
345530p7 sched_param(51I12)
346533V13*sched_yield{51I12} 534b<c,pthread_yield>22
347540V13*pthread_attr_init{51I12} 540^32 541b<c,pthread_attr_init>22
348540p32 attributes(281M9)
349543V13*pthread_attr_destroy{51I12} 544^7 545b<c,pthread_attr_destroy>22
350544p7 attributes(281M9)
351547V13*pthread_attr_setdetachstate{51I12} 548^7 549>7 551b<c,pthread_attr_setdetachstate>10
352548p7 attr(281M9)
353549i7 detachstate{51I12}
354553V13*pthread_attr_getdetachstate{51I12} 554^7 555^7 557b<c,pthread_attr_getdetachstate>10
355554p7 attr(281M9)
356555p7 detachstate(51I12)
357559V13*pthread_attr_getstacksize{51I12} 560^7 561^7 563b<c,pthread_attr_getstacksize>10
358560p7 attr(281M9)
359561p7 stacksize(59M12)
360565V13*pthread_attr_setstacksize{51I12} 566^7 567>7 569b<c,pthread_attr_setstacksize>10
361566p7 attr(281M9)
362567m7 stacksize{59M12}
363571V13*pthread_create{51I12} 572^7 573^7 574>7 575>7 576b<c,pthread_create>22
364572p7 thread(276M9)
365573p7 attributes(281M9)
366574p7 start_routine{269P9}
367575m7 arg{5|67M9}
368578V13*pthread_detach{51I12} 578>29 579b<c,pthread_detach>22
369578m29 thread{276M9}
370581U14*pthread_exit 581>28 582b<c,pthread_exit>22
371581m28 status{5|67M9}
372584V13*pthread_self{276M9} 585b<c,pthread_self>22
373591V13*pthread_setspecific{51I12} 592>7 593>7 594b<c,pthread_setspecific>22
374592i7 key{284I9}
375593m7 value{5|67M9}
376596V13*pthread_getspecific{5|67M9} 596>34 597b<c,pthread_getspecific>22
377596i34 key{284I9}
378599P9*destructor_pointer 599>49 600r26 604r20
379599m49 arg{5|67M9}
380602V13*pthread_key_create{51I12} 603^7 604>7 605b<c,pthread_key_create>22
381603p7 key(284I9)
382604p7 destructor{599P9}
383611V13*pthread_set_name_np{51I12} 612>7 613>7 614b<c,pthread_set_name_np>22
384612m7 thread{276M9}
385613m7 name{5|67M9}
386636I9 time_t<4|37I9> 639r17 8|97r11 101r12
387639i7*ts_sec{636I9} 8|78r27 112m24
388640i7*ts_nsec{53I12} 8|78r50 113m24
389X 8 s-osinte.adb
39044P12 int_ptr(7|51I12) 46r38
39146V16*internal_errno{44P12} 47b<c,__get_errno>25 50s15
39297i7 S{7|636I9} 101m7 102r26 108m10 108r15 112r34
39398o7 F{duration} 102m7 107r10 109m10 109r15 113r60
394
395