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