comparison src/os/windows/vm/os_windows.hpp @ 6080:7432b9db36ff

7165755: OS Information much longer on linux than other platforms Reviewed-by: sla, dholmes
author nloodin
date Thu, 10 May 2012 15:44:19 +0200
parents 3cd0157e1d4d
children d2a62e0f25eb
comparison
equal deleted inserted replaced
6079:9793f47cdebc 6080:7432b9db36ff
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 28
29 class win32 { 29 class win32 {
30 friend class os;
30 31
31 protected: 32 protected:
32 static int _vm_page_size; 33 static int _vm_page_size;
33 static int _vm_allocation_granularity; 34 static int _vm_allocation_granularity;
34 static int _processor_type; 35 static int _processor_type;
37 static size_t _default_stack_size; 38 static size_t _default_stack_size;
38 static bool _is_nt; 39 static bool _is_nt;
39 static bool _is_windows_2003; 40 static bool _is_windows_2003;
40 static bool _is_windows_server; 41 static bool _is_windows_server;
41 42
43 static void print_windows_version(outputStream* st);
44
42 public: 45 public:
43 // Windows-specific interface: 46 // Windows-specific interface:
44 static void initialize_system_info(); 47 static void initialize_system_info();
45 static void setmode_streams(); 48 static void setmode_streams();
46 49