848 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
849 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
860 		tstate[2] = thread_is_64bit_data(thread) ? ARM_EXCEPTION_STATE64 : ARM_EXCEPTION_STATE;  in machine_thread_get_state()
861 		tstate[3] = thread_is_64bit_data(thread) ? ARM_DEBUG_STATE64 : ARM_DEBUG_STATE32;  in machine_thread_get_state()
876 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
889 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
911 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
932 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
954 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
978 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1003 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1055 		if (thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1077 		if (!thread_is_64bit_data(thread)) {  in machine_thread_get_state()
1217 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1229 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1244 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1254 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1269 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1338 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1415 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1516 		if (thread_is_64bit_data(thread)) {  in machine_thread_set_state()
1539 		if (!thread_is_64bit_data(thread)) {  in machine_thread_set_state()
2071 	if (thread_is_64bit_data(thread)) {  in act_thread_csave()
2114 	if (thread_is_64bit_data(thread)) {  in act_thread_catt()
2153 	assert(!thread_is_64bit_data(thread));  in thread_set_wq_state32()
2191 	assert(thread_is_64bit_data(thread));  in thread_set_wq_state64()