398       thread_basic_info_t basic_info = get_thread_basic_info(thread_list[i]);  in main()  local
407              i, identifier_info.thread_id, basic_info->suspend_count);  in main()
413       switch (basic_info->run_state) {  in main()
458                basic_info->user_time.seconds,  in main()
459                basic_info->user_time.microseconds,  in main()
460                basic_info->system_time.seconds,  in main()
461                basic_info->system_time.microseconds);  in main()
462         if (basic_info->cpu_usage > 0) {  in main()
463           float cpu_percentage = basic_info->cpu_usage / 10.0;  in main()
466         if (basic_info->sleep_time > 0)  in main()
468                  basic_info->sleep_time);  in main()
471         printf("scheduling policy %d", basic_info->policy);  in main()
473         if (basic_info->flags != 0) {  in main()
474           printf(", flags %d", basic_info->flags);  in main()
475           if ((basic_info->flags | TH_FLAGS_SWAPPED) == TH_FLAGS_SWAPPED)  in main()
477           if ((basic_info->flags | TH_FLAGS_IDLE) == TH_FLAGS_IDLE)  in main()
487       free((void *)basic_info);  in main()