869 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
870 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
881 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
882 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
897 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
910 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
932 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
953 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
975 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
999 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1024 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1076 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1098 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1238 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1250 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1265 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1275 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1290 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1359 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1436 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1537 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1560 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
2101 	if (thread_is_64bit_data(thread)) {  in act_thread_csave()
2144 	if (thread_is_64bit_data(thread)) {  in act_thread_catt()
2183 	assert(!thread_is_64bit_data(thread));  in thread_set_wq_state32()
2221 	assert(thread_is_64bit_data(thread));  in thread_set_wq_state64()