Index: arch/ia32/src/drivers/i8042.c
===================================================================
--- arch/ia32/src/drivers/i8042.c	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ arch/ia32/src/drivers/i8042.c	(revision 8262010e7e7fe13508b9f3ccd85fc91dc8978f35)
@@ -55,4 +55,4 @@
 	trap_virtual_eoi();
 	x = inb(0x60);
-	printf("%d", the->cpu->id);;
+	printf("%d", CPU->id);;
 }