thread_state_flavor_t 3400 gc/os_dep.c        thread_state_flavor_t*,thread_state_t,mach_msg_type_number_t,
thread_state_flavor_t 3405 gc/os_dep.c        thread_state_flavor_t*,thread_state_t,mach_msg_type_number_t,
thread_state_flavor_t 3416 gc/os_dep.c        thread_state_flavor_t flavors[MAX_EXCEPTION_PORTS];
thread_state_flavor_t 3735 gc/os_dep.c        thread_state_flavor_t flavor;
thread_state_flavor_t 3800 gc/os_dep.c            thread_state_flavor_t flavor = PPC_EXCEPTION_STATE;
thread_state_flavor_t 3804 gc/os_dep.c            thread_state_flavor_t flavor = PPC_EXCEPTION_STATE64;