V "GNAT Lib v5"
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_FIXED_POINT
RV NO_LONG_LONG_INTEGERS
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U system.os_primitives%b  s-osprim.adb		84312de6 NE OL PK
W system%s		system.ads		system.ali

U system.os_primitives%s  s-osprim.ads		0f58f595 BN NE OL PR PK
W system%s		system.ads		system.ali

D system.ads		20260814151758 bf8979bc system%s
D s-osprim.ads		20090409150019 b0d18c29 system.os_primitives%s
D s-osprim.adb		20260814151758 34e0a1cf system.os_primitives%b
X 1 system.ads
37K9*System 144e11 2|40r9 91r5 3|34r14 79r15 79r33 91r42 178r5
64M9*Address 3|79r22
66m4*Null_Address{64M9} 3|79r40 91r49
X 2 s-osprim.ads
40K16*OS_Primitives 1|37k9 2|91l12 91e25 3|34b21 178l12 178t25
43o4*Max_Sensible_Delay{duration}
55U14*Initialize 3|173b14 176l8 176t18
60V13*Clock{duration} 61r19 3|56b13 94l8 94t13 100r53 141s41 160s27
66V13*Monotonic_Clock{duration} 67r19 3|100b13
72N4*Relative 3|148r17
73N4*Absolute_Calendar
74N4*Absolute_RT
79U14*Timed_Delay 79>27 79>44 3|133b14 167l8 167t19
79o27 Time{duration} 3|134b7 149r22 150r22 152r22 153r22
79i44 Mode{integer} 3|135b7 148r10
X 3 s-osprim.adb
41I9 time_t<long_integer> 44r17 109r11 113r12
43R9 timespec 46e14 47r26 49r53 106r47 108r47 125r9 137r28 138r28
44i7*tv_sec{41I9} 125m19
45i7*tv_nsec{long_integer} 126m19
49V13 nanosleep{integer} 49^24 49^30 50b<c,__nanosleep50>22 159s23
49p24 rqtp(43R9)
49p30 rmtp(43R9)
58A12 timeval(long_integer)<integer> 65r33 73r24 78r22
64U17*timeval_to_duration 65^10 66^10 67^10 68b<c,__gnat_timeval_to_duration>25
. 92s7
65p10 T(58A12)
66p10 sec(long_long_integer)
67p10 usec(long_integer)
70N7 Micro 93r49
71i7 sec{long_long_integer} 92m39 92r39 93r24
72i7 usec{long_integer} 92m51 92r51 93r41
73a7 TV{58A12} 91m31 91r31 92m28 92r28
74i7 Result{integer} 75r28 91m7
77V16*gettimeofday{integer} 78^10 79>10 80b<c,__gettimeofday50>25 91s17
78p10 Tv(58A12)
79m10 Tz{1|64M9}
106V13 To_Timespec{43R9} 106>26 108b13 127l8 127t19 158s24
106o26 D{duration} 108b26 113r39 114r12
109i7 S{41I9} 113m7 114r26 120m10 120r15 125r30
110o7 F{duration} 114m7 119r10 121m10 121r15 126r63
137r7 Request{43R9} 158m13 159m34 159r34
138r7 Remaind{43R9} 159m50 159r50
139o7 Rel_Time{duration} 149m10 152m10 156r10 158r37 164m13
140o7 Abs_Time{duration} 150m10 153m10 162r23 164r25
141o7 Base_Time{duration} 142r32 162r67
142o7 Check_Time{duration} 150r29 152r29 160m13 162r35 162r54 164r36
144i7 Result{integer} 145r28 159m13

