On Tue, 24 Jan 2023 02:38:29 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Fix the build on x86. Marked as reviewed by jiefu (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/12157