Integrated: 8301337: Remove unused os::_polling_page

Tue Jan 31 11:44:10 UTC 2023

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.

This pull request has now been integrated.

Changeset: 419409bc
Author:    Robbin Ehn <rehn at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/419409bcf639e121286dff134b9e93e0528eacf5
Stats:     10 lines in 4 files changed: 0 ins; 10 del; 0 mod

8301337: Remove unused os::_polling_page

Reviewed-by: coleenp, dnsimon

-------------

PR: https://git.openjdk.org/jdk/pull/12287