changeset 22894 | 870fbe165d06 |
parent 22891 | 1f5d1fff23fa |
parent 22852 | 1063026e8cee |
child 23527 | 397b6816032d |
--- a/hotspot/src/os/windows/vm/os_windows.hpp Sat Feb 22 10:22:05 2014 +0100 +++ b/hotspot/src/os/windows/vm/os_windows.hpp Sun Feb 23 13:16:03 2014 -0500 @@ -26,6 +26,9 @@ #define OS_WINDOWS_VM_OS_WINDOWS_HPP // Win32_OS defines the interface to windows operating systems +// Information about the protection of the page at address '0' on this os. +static bool zero_page_read_protected() { return true; } + class win32 { friend class os;