On Mon, 3 Apr 2023 05:29:13 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > This should be reviewed by hotspot-runtime folks. Thanks @TobiHartmann ------------- PR Comment: https://git.openjdk.org/jdk/pull/13244#issuecomment-1493741995