32   static int    _processor_type;

    32   static int    _processor_type;

    33   static int    _processor_level;

    33   static int    _processor_level;

    34   static julong _physical_memory;

    34   static julong _physical_memory;

    35   static size_t _default_stack_size;

    35   static size_t _default_stack_size;

    36   static bool   _is_nt;

    36   static bool   _is_nt;

    37 

    38 

    38  public:

    39  public:

    39   // Windows-specific interface:

    40   // Windows-specific interface:

    40   static void   initialize_system_info();

    41   static void   initialize_system_info();

    41   static void   setmode_streams();

    42   static void   setmode_streams();

    57   static          intx  _os_thread_limit;

    58   static          intx  _os_thread_limit;

    58   static volatile intx  _os_thread_count;

    59   static volatile intx  _os_thread_count;

    59 

    60 

    60   // Tells whether the platform is NT or Windown95

    61   // Tells whether the platform is NT or Windown95

    61   static bool is_nt() { return _is_nt; }

    62   static bool is_nt() { return _is_nt; }

    62 

    66 

    63   // Returns the byte size of a virtual memory page

    67   // Returns the byte size of a virtual memory page

    64   static int vm_page_size() { return _vm_page_size; }

    68   static int vm_page_size() { return _vm_page_size; }

    65 

    69 

    66   // Returns the size in bytes of memory blocks which can be allocated.

    70   // Returns the size in bytes of memory blocks which can be allocated.