output_thread_info_defines
static void __used output_thread_info_defines(void)
void output_thread_info_defines(void)