Index: kernel/arch/amd64/include/cpu.h
===================================================================
--- kernel/arch/amd64/include/cpu.h	(revision 2902e1bb4254bbfdd521b4645e8979af80734627)
+++ kernel/arch/amd64/include/cpu.h	(revision 49e6c6b48a1667db53d7a8cfba97659b95c83ea8)
@@ -73,4 +73,6 @@
 	tss_t *tss;
 	
+	unsigned int id; /** CPU's local, ie physical, APIC ID. */
+	
 	size_t iomapver_copy;  /** Copy of TASK's I/O Permission bitmap generation count. */
 } cpu_arch_t;
Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 2902e1bb4254bbfdd521b4645e8979af80734627)
+++ kernel/arch/amd64/src/amd64.c	(revision 49e6c6b48a1667db53d7a8cfba97659b95c83ea8)
@@ -171,5 +171,5 @@
 }
 
-void arch_post_cpu_init()
+void arch_post_cpu_init(void)
 {
 #ifdef CONFIG_SMP
Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision 2902e1bb4254bbfdd521b4645e8979af80734627)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 49e6c6b48a1667db53d7a8cfba97659b95c83ea8)
@@ -158,7 +158,7 @@
 void cpu_print_report(cpu_t* m)
 {
-	printf("cpu%d: (%s family=%d model=%d stepping=%d) %dMHz\n",
+	printf("cpu%d: (%s family=%d model=%d stepping=%d apicid=%u) %dMHz\n",
 	    m->id, vendor_str[m->arch.vendor], m->arch.family, m->arch.model,
-	    m->arch.stepping, m->frequency_mhz);
+	    m->arch.stepping, m->arch.id, m->frequency_mhz);
 }