868 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
869 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
880 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
881 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
896 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
909 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
931 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
952 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
974 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
998 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1023 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1075 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1097 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1237 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1249 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1264 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1274 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1289 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1358 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1435 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1536 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1559 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
2085 	if (thread_is_64bit_data(thread)) {  in act_thread_csave()
2128 	if (thread_is_64bit_data(thread)) {  in act_thread_catt()
2167 	assert(!thread_is_64bit_data(thread));  in thread_set_wq_state32()
2205 	assert(thread_is_64bit_data(thread));  in thread_set_wq_state64()