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 

    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 

    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