On Mon, 31 Jul 2023 18:16:49 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Reinstate header files so that `BLKGETSIZE64` is defined on Linux. The proposed fix was verified manually using the test attached to the issue. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15092#issuecomment-1658916203