399           thread_basic_info_t basic_info = get_thread_basic_info (thread_list[i]);  in main()  local
408                   basic_info->suspend_count);  in main()
414           switch (basic_info->run_state) {  in main()
437                               basic_info->user_time.seconds, basic_info->user_time.microseconds,   in main()
438 …                            basic_info->system_time.seconds, basic_info->system_time.microseconds);  in main()
439               if (basic_info->cpu_usage > 0)  in main()
441                   float cpu_percentage = basic_info->cpu_usage / 10.0;  in main()
444               if (basic_info->sleep_time > 0)  in main()
445                 printf (", this thread has slept for %d seconds", basic_info->sleep_time);  in main()
448               printf ("scheduling policy %d", basic_info->policy);  in main()
450               if (basic_info->flags != 0)  in main()
452                   printf (", flags %d", basic_info->flags);  in main()
453                   if ((basic_info->flags | TH_FLAGS_SWAPPED) == TH_FLAGS_SWAPPED)  in main()
455                   if ((basic_info->flags | TH_FLAGS_IDLE) == TH_FLAGS_IDLE)  in main()
464           free ((void *) basic_info);  in main()