|
@@ -721,11 +721,13 @@ flush_thread (void)
|
|
|
/* drop floating-point and debug-register state if it exists: */
|
|
|
current->thread.flags &= ~(IA64_THREAD_FPH_VALID | IA64_THREAD_DBG_VALID);
|
|
|
ia64_drop_fpu(current);
|
|
|
+#ifdef CONFIG_IA32_SUPPORT
|
|
|
if (IS_IA32_PROCESS(ia64_task_regs(current))) {
|
|
|
ia32_drop_partial_page_list(current);
|
|
|
current->thread.task_size = IA32_PAGE_OFFSET;
|
|
|
set_fs(USER_DS);
|
|
|
}
|
|
|
+#endif
|
|
|
}
|
|
|
|
|
|
/*
|