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;