thread_state     3737 gc/os_dep.c        thread_state_t thread_state;
thread_state     3750 gc/os_dep.c            r = thread_get_state(thread,flavor,thread_state,&thread_state_count);
thread_state     3761 gc/os_dep.c                    data_count,&flavor,thread_state,thread_state_count,
thread_state     3762 gc/os_dep.c                    thread_state,&thread_state_count);
thread_state     3766 gc/os_dep.c                    data_count,&flavor,thread_state,thread_state_count,
thread_state     3767 gc/os_dep.c                    thread_state,&thread_state_count);
thread_state     3776 gc/os_dep.c            r = thread_set_state(thread,flavor,thread_state,thread_state_count);