749 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
750 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
761 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
762 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
777 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
790 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
812 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
833 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
855 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
879 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
904 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
956 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
978 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1118 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1130 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1145 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1155 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1170 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1239 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1316 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1417 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1440 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1965 	if (thread_is_64bit_data(thread)) {  in act_thread_csave()
2008 	if (thread_is_64bit_data(thread)) {  in act_thread_catt()
2047 	assert(!thread_is_64bit_data(thread));  in thread_set_wq_state32()
2085 	assert(thread_is_64bit_data(thread));  in thread_set_wq_state64()