Index: kernel/arch/ia32/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia32/src/ddi/ddi.c	(revision 25b9e2c5197173ccff86ba173e54eee48b85e79f)
+++ kernel/arch/ia32/src/ddi/ddi.c	(revision 99d6fd07a4e12eb667d2cfa2d3fdb3b5f63800b2)
@@ -157,5 +157,5 @@
 	 */
 	gdt_p[TSS_DES].access = AR_PRESENT | AR_TSS | DPL_KERNEL;
-	tr_load(selector(TSS_DES));
+	tr_load(gdtselector(TSS_DES));
 	
 	/*