- return thread_set_state (thread, ARM_UNIFIED_THREAD_STATE, state, count);
+ kern_return_t ret;
+ ret = thread_set_state (thread, ARM_UNIFIED_THREAD_STATE, state, count);
+ if (ret != KERN_SUCCESS)
+ return ret;
+ ret = thread_set_state (thread, ARM_NEON_STATE64, fpstate, fpcount);
+ return ret;