X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/kernel/fiasco/src/drivers/arm/processor-arm.cpp

diff --git a/kernel/fiasco/src/drivers/arm/processor-arm.cpp b/kernel/fiasco/src/drivers/arm/processor-arm.cpp
index e315ce8e6..d067e37f0 100644
--- a/kernel/fiasco/src/drivers/arm/processor-arm.cpp
+++ b/kernel/fiasco/src/drivers/arm/processor-arm.cpp
@@ -145,9 +145,9 @@ IMPLEMENTATION[arm && mp]:
 IMPLEMENT static inline
 unsigned Proc::cpu_id()
 {
-  unsigned int cpunum;
-  __asm__("mrc p15, 0, %0, c0, c0, 5": "=r" (cpunum));
-  return cpunum & 0xf;
+  unsigned mpidr;
+  __asm__("mrc p15, 0, %0, c0, c0, 5": "=r" (mpidr));
+  return mpidr & 0x7; // mind gic softirq
 }
 
 //----------------------------------------------------------------