hotspot/src/os/windows/vm/os_windows.hpp
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;