@@ -162,6 +162,11 @@ libc_support_library(
162162 hdrs = ["hdr/types/clockid_t.h" ],
163163)
164164
165+ libc_support_library (
166+ name = "types_clock_t" ,
167+ hdrs = ["hdr/types/clock_t.h" ],
168+ )
169+
165170libc_support_library (
166171 name = "types_fenv_t" ,
167172 hdrs = ["hdr/types/fenv_t.h" ],
@@ -192,6 +197,11 @@ libc_support_library(
192197 hdrs = ["hdr/types/time_t.h" ],
193198)
194199
200+ libc_support_library (
201+ name = "types_struct_timeval" ,
202+ hdrs = ["hdr/types/struct_timeval.h" ],
203+ )
204+
195205libc_support_library (
196206 name = "types_pid_t" ,
197207 hdrs = ["hdr/types/pid_t.h" ],
@@ -1070,6 +1080,32 @@ libc_support_library(
10701080 ],
10711081)
10721082
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+
10731109libc_support_library (
10741110 name = "__support_osutil_io" ,
10751111 hdrs = ["src/__support/OSUtil/io.h" ],
@@ -1212,6 +1248,25 @@ libc_support_library(
12121248 ],
12131249)
12141250
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+
12151270libc_support_library (
12161271 name = "__support_time" ,
12171272 hdrs = glob (["src/__support/time/*.h" ]),
@@ -1234,6 +1289,7 @@ libc_support_library(
12341289 ":__support_cpp_expected" ,
12351290 ":__support_error_or" ,
12361291 ":__support_libc_assert" ,
1292+ ":__support_osutil_vdso" ,
12371293 ":__support_time" ,
12381294 ":hdr_time_macros" ,
12391295 ":types_clockid_t" ,
0 commit comments