diff --git a/src/cpu/x86/lapic/lapic_cpu_init.c b/src/cpu/x86/lapic/lapic_cpu_init.c
index 898a5c476a..825739c6df 100644
--- a/src/cpu/x86/lapic/lapic_cpu_init.c
+++ b/src/cpu/x86/lapic/lapic_cpu_init.c
@@ -351,7 +351,7 @@ void stop_this_cpu(void)
 	unsigned long send_status;
 	unsigned long id;
 
-	id = lapic_read(LAPIC_ID) >> 24;
+	id = lapicid();
 
 	printk(BIOS_DEBUG, "CPU %ld going down...\n", id);