coprocessor_flush
void coprocessor_flush(struct thread_info *ti, int cp_index);
coprocessor_flush(ti, i);