changeset 22852 | 1063026e8cee |
parent 18943 | 7d0ef675e808 |
child 22894 | 870fbe165d06 |
--- a/hotspot/src/os/windows/vm/os_windows.hpp Thu Nov 21 12:30:35 2013 -0800 +++ b/hotspot/src/os/windows/vm/os_windows.hpp Thu Nov 21 18:29:34 2013 -0800 @@ -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;