Index: src/lib/func.c
===================================================================
--- src/lib/func.c	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ src/lib/func.c	(revision 85bfdcc853e0c782ab7cd7e3b16fc2885a1ac860)
@@ -39,5 +39,5 @@
 	haltstate = 1;
 	cpu_priority_high();
-	printf("cpu%d: halted\n", the->cpu->id);
+	printf("cpu%d: halted\n", CPU->id);
 	cpu_halt();
 }