856 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
857 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
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()
884 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
897 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
919 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
940 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
962 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
986 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1011 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1063 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1085 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1225 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1237 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1252 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1262 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1277 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1346 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1423 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1524 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1547 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
2087 	if (thread_is_64bit_data(thread)) {  in act_thread_csave()
2130 	if (thread_is_64bit_data(thread)) {  in act_thread_catt()
2169 	assert(!thread_is_64bit_data(thread));  in thread_set_wq_state32()
2207 	assert(thread_is_64bit_data(thread));  in thread_set_wq_state64()