Changes in kernel/arch/ia32/src/proc/scheduler.c [864e272:1d3d2cf] in mainline

File:

• kernel/arch/ia32/src/proc/scheduler.c (modified) (1 diff)

kernel/arch/ia32/src/proc/scheduler.c

@@ -67 +67 @@
         /* Set kernel stack for CPL3 -> CPL0 switch via interrupt */
         CPU->arch.tss->esp0 = kstk;
-        CPU->arch.tss->ss0 = gdtselector(KDATA_DES);
+        CPU->arch.tss->ss0 = GDT_SELECTOR(KDATA_DES);
         
         /* Set up TLS in GS register */