Index: src/lib/func.c
===================================================================
--- src/lib/func.c	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ src/lib/func.c	(revision dba84ff88ce25a6cd17ab4cbe353008cbd2da6cc)
@@ -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();
 }