On Mon, 30 Jan 2023 09:52:27 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Hi, please consider removing the unused field _polling_page in os. > > Built tested many platforms + t1. Thanks! ------------- PR: https://git.openjdk.org/jdk/pull/12287