RFR: JDK-8257588: Make os::_page_sizes a bitmask [v6]

[Thomas Stuefe]

On Wed, 9 Dec 2020 18:39:15 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote:

>> See https://github.com/openjdk/jdk/pull/1719 for fix.
>
> Yes, you are right, it should. I filed JDK-8257989. Feel free to fix it.
> 
> Thanks, Thomas

Oh, I see you already have a PR open, I reply there.

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

PR: https://git.openjdk.java.net/jdk/pull/1522