1560 int pid = os::current_process_id(); |
1560 int pid = os::current_process_id(); |
1561 st->print_cr("Dynamic libraries:"); |
1561 st->print_cr("Dynamic libraries:"); |
1562 enumerate_modules(pid, _print_module, (void *)st); |
1562 enumerate_modules(pid, _print_module, (void *)st); |
1563 } |
1563 } |
1564 |
1564 |
|
1565 void os::print_os_info_brief(outputStream* st) { |
|
1566 os::print_os_info(st); |
|
1567 } |
|
1568 |
1565 void os::print_os_info(outputStream* st) { |
1569 void os::print_os_info(outputStream* st) { |
1566 st->print("OS:"); |
1570 st->print("OS:"); |
1567 |
1571 |
|
1572 os::win32::print_windows_version(st); |
|
1573 } |
|
1574 |
|
1575 void os::win32::print_windows_version(outputStream* st) { |
1568 OSVERSIONINFOEX osvi; |
1576 OSVERSIONINFOEX osvi; |
1569 ZeroMemory(&osvi, sizeof(OSVERSIONINFOEX)); |
1577 ZeroMemory(&osvi, sizeof(OSVERSIONINFOEX)); |
1570 osvi.dwOSVersionInfoSize = sizeof(OSVERSIONINFOEX); |
1578 osvi.dwOSVersionInfoSize = sizeof(OSVERSIONINFOEX); |
1571 |
1579 |
1572 if (!GetVersionEx((OSVERSIONINFO *)&osvi)) { |
1580 if (!GetVersionEx((OSVERSIONINFO *)&osvi)) { |