@@ -162,6 +162,11 @@ libc_support_library(
162
162
hdrs = ["hdr/types/clockid_t.h" ],
163
163
)
164
164
165
+ libc_support_library (
166
+ name = "types_clock_t" ,
167
+ hdrs = ["hdr/types/clock_t.h" ],
168
+ )
169
+
165
170
libc_support_library (
166
171
name = "types_fenv_t" ,
167
172
hdrs = ["hdr/types/fenv_t.h" ],
@@ -192,6 +197,11 @@ libc_support_library(
192
197
hdrs = ["hdr/types/time_t.h" ],
193
198
)
194
199
200
+ libc_support_library (
201
+ name = "types_struct_timeval" ,
202
+ hdrs = ["hdr/types/struct_timeval.h" ],
203
+ )
204
+
195
205
libc_support_library (
196
206
name = "types_pid_t" ,
197
207
hdrs = ["hdr/types/pid_t.h" ],
@@ -1070,6 +1080,32 @@ libc_support_library(
1070
1080
],
1071
1081
)
1072
1082
1083
+ libc_support_library (
1084
+ name = "__support_osutil_vdso" ,
1085
+ hdrs = [
1086
+ "src/__support/OSUtil/linux/vdso.h" ,
1087
+ "src/__support/OSUtil/linux/vdso_sym.h"
1088
+ ],
1089
+ textual_hdrs = [
1090
+ "src/__support/OSUtil/linux/riscv/vdso.h" ,
1091
+ "src/__support/OSUtil/linux/arm/vdso.h" ,
1092
+ "src/__support/OSUtil/linux/x86_64/vdso.h" ,
1093
+ "src/__support/OSUtil/linux/aarch64/vdso.h" ,
1094
+ ],
1095
+ target_compatible_with = select ({
1096
+ "@platforms//os:linux" : [],
1097
+ "//conditions:default" : ["@platforms//:incompatible" ],
1098
+ }),
1099
+ deps = [
1100
+ ":__support_cpp_array" ,
1101
+ ":__support_cpp_optional" ,
1102
+ ":__support_cpp_string_view" ,
1103
+ ":__support_threads_callonce" ,
1104
+ ":types_clock_t" ,
1105
+ ":types_struct_timeval"
1106
+ ],
1107
+ )
1108
+
1073
1109
libc_support_library (
1074
1110
name = "__support_osutil_io" ,
1075
1111
hdrs = ["src/__support/OSUtil/io.h" ],
@@ -1212,6 +1248,25 @@ libc_support_library(
1212
1248
],
1213
1249
)
1214
1250
1251
+
1252
+ libc_support_library (
1253
+ name = "__support_threads_callonce" ,
1254
+ hdrs = [
1255
+ "src/__support/threads/callonce.h" ,
1256
+ ],
1257
+ target_compatible_with = select ({
1258
+ "@platforms//os:linux" : [],
1259
+ "//conditions:default" : ["@platforms//:incompatible" ],
1260
+ }),
1261
+ textual_hdrs = [
1262
+ "src/__support/threads/linux/callonce.h" ,
1263
+ ],
1264
+ deps = [
1265
+ ":__support_macros_config" ,
1266
+ ":__support_macros_optimization"
1267
+ ],
1268
+ )
1269
+
1215
1270
libc_support_library (
1216
1271
name = "__support_time" ,
1217
1272
hdrs = glob (["src/__support/time/*.h" ]),
@@ -1234,6 +1289,7 @@ libc_support_library(
1234
1289
":__support_cpp_expected" ,
1235
1290
":__support_error_or" ,
1236
1291
":__support_libc_assert" ,
1292
+ ":__support_osutil_vdso" ,
1237
1293
":__support_time" ,
1238
1294
":hdr_time_macros" ,
1239
1295
":types_clockid_t" ,
0 commit comments