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

[Marcus G K Williams]

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

>> 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.

Fixed in #1719. Thanks Thomas.

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

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