flavor           3735 gc/os_dep.c        thread_state_flavor_t flavor;
flavor           3747 gc/os_dep.c        flavor = GC_old_exc_ports.flavors[i];
flavor           3750 gc/os_dep.c            r = thread_get_state(thread,flavor,thread_state,&thread_state_count);
flavor           3761 gc/os_dep.c                    data_count,&flavor,thread_state,thread_state_count,
flavor           3766 gc/os_dep.c                    data_count,&flavor,thread_state,thread_state_count,
flavor           3776 gc/os_dep.c            r = thread_set_state(thread,flavor,thread_state,thread_state_count);
flavor           3800 gc/os_dep.c            thread_state_flavor_t flavor = PPC_EXCEPTION_STATE;
flavor           3804 gc/os_dep.c            thread_state_flavor_t flavor = PPC_EXCEPTION_STATE64;
flavor           3824 gc/os_dep.c        r = thread_get_state(thread,flavor,
flavor           3904 gc/os_dep.c        int flavor, thread_state_t old_state, int old_stateCnt,
flavor           3913 gc/os_dep.c        int flavor, thread_state_t old_state, int old_stateCnt,