equal
deleted
inserted
replaced
23 */ |
23 */ |
24 |
24 |
25 #ifndef OS_WINDOWS_VM_OS_WINDOWS_HPP |
25 #ifndef OS_WINDOWS_VM_OS_WINDOWS_HPP |
26 #define OS_WINDOWS_VM_OS_WINDOWS_HPP |
26 #define OS_WINDOWS_VM_OS_WINDOWS_HPP |
27 // Win32_OS defines the interface to windows operating systems |
27 // Win32_OS defines the interface to windows operating systems |
|
28 |
|
29 // Information about the protection of the page at address '0' on this os. |
|
30 static bool zero_page_read_protected() { return true; } |
28 |
31 |
29 class win32 { |
32 class win32 { |
30 friend class os; |
33 friend class os; |
31 |
34 |
32 protected: |
35 protected: |