-#ifdef CONFIG_X86_HIGH_ENTRY
-#define virtual_esp0(tsk) \
- ((unsigned long)(tsk)->thread_info->virtual_stack + ((tsk)->thread.esp0 - (unsigned long)(tsk)->thread_info->real_stack))
-#else
-# define virtual_esp0(tsk) ((tsk)->thread.esp0)
-#endif
-
-#define load_virtual_esp0(tss, task) \
- do { \
- tss->esp0 = virtual_esp0(task); \
- if (likely(cpu_has_sep) && unlikely(tss->ss1 != task->thread.sysenter_cs)) { \
- tss->ss1 = task->thread.sysenter_cs; \
- wrmsr(MSR_IA32_SYSENTER_CS, \
- task->thread.sysenter_cs, 0); \
- } \
- } while (0)
-