585 |
585 |
586 // Print out system information; they are called by fatal error handler. |
586 // Print out system information; they are called by fatal error handler. |
587 // Output format may be different on different platforms. |
587 // Output format may be different on different platforms. |
588 static void print_os_info(outputStream* st); |
588 static void print_os_info(outputStream* st); |
589 static void print_os_info_brief(outputStream* st); |
589 static void print_os_info_brief(outputStream* st); |
590 static void print_cpu_info(outputStream* st); |
590 static void print_cpu_info(outputStream* st, char* buf, size_t buflen); |
591 static void pd_print_cpu_info(outputStream* st); |
591 static void pd_print_cpu_info(outputStream* st, char* buf, size_t buflen); |
592 static void print_memory_info(outputStream* st); |
592 static void print_memory_info(outputStream* st); |
593 static void print_dll_info(outputStream* st); |
593 static void print_dll_info(outputStream* st); |
594 static void print_environment_variables(outputStream* st, const char** env_list); |
594 static void print_environment_variables(outputStream* st, const char** env_list); |
595 static void print_context(outputStream* st, void* context); |
595 static void print_context(outputStream* st, void* context); |
596 static void print_register_info(outputStream* st, void* context); |
596 static void print_register_info(outputStream* st, void* context); |