equal
deleted
inserted
replaced
34 static const char* line_separator() { return "\r\n"; } |
34 static const char* line_separator() { return "\r\n"; } |
35 static const char* path_separator() { return ";"; } |
35 static const char* path_separator() { return ";"; } |
36 |
36 |
37 class win32 { |
37 class win32 { |
38 friend class os; |
38 friend class os; |
39 friend unsigned __stdcall java_start(class Thread*); |
39 friend unsigned __stdcall thread_native_entry(class Thread*); |
40 |
40 |
41 protected: |
41 protected: |
42 static int _vm_page_size; |
42 static int _vm_page_size; |
43 static int _vm_allocation_granularity; |
43 static int _vm_allocation_granularity; |
44 static int _processor_type; |
44 static int _processor_type; |