On Fri, 20 Jan 2023 06:31:53 GMT, David Holmes <dholmes at openjdk.org> wrote: > I'd rather see OS specific header files to do all this than pollute what is supposed to be shared code with all this OS specific stuff. Definitely. ------------- PR: https://git.openjdk.org/jdk/pull/12078