1716 } |
1716 } |
1717 } |
1717 } |
1718 st->print(" Build %d", osvi.dwBuildNumber); |
1718 st->print(" Build %d", osvi.dwBuildNumber); |
1719 st->print(" %s", osvi.szCSDVersion); // service pack |
1719 st->print(" %s", osvi.szCSDVersion); // service pack |
1720 st->cr(); |
1720 st->cr(); |
|
1721 } |
|
1722 |
|
1723 void os::pd_print_cpu_info(outputStream* st) { |
|
1724 // Nothing to do for now. |
1721 } |
1725 } |
1722 |
1726 |
1723 void os::print_memory_info(outputStream* st) { |
1727 void os::print_memory_info(outputStream* st) { |
1724 st->print("Memory:"); |
1728 st->print("Memory:"); |
1725 st->print(" %dk page", os::vm_page_size()>>10); |
1729 st->print(" %dk page", os::vm_page_size()>>10); |