|
@@ -510,7 +510,6 @@ void set_personality_64bit(void)
|
|
|
|
|
|
/* Make sure to be in 64bit mode */
|
|
/* Make sure to be in 64bit mode */
|
|
clear_thread_flag(TIF_IA32);
|
|
clear_thread_flag(TIF_IA32);
|
|
- clear_thread_flag(TIF_X32);
|
|
|
|
clear_thread_flag(TIF_ADDR32);
|
|
clear_thread_flag(TIF_ADDR32);
|
|
clear_thread_flag(TIF_X32);
|
|
clear_thread_flag(TIF_X32);
|
|
|
|
|