update

[l4.git] / kernel / fiasco / src / drivers / amd64 / processor-amd64.cpp

diff --git a/kernel/fiasco/src/drivers/amd64/processor-amd64.cpp b/kernel/fiasco/src/drivers/amd64/processor-amd64.cpp
index 3ea94dc6b4b0b7d5c088f1672c855643ac5c7922..07d87b4aa90f00681fa5273105122510027184f0 100644 (file)
--- a/kernel/fiasco/src/drivers/amd64/processor-amd64.cpp
+++ b/kernel/fiasco/src/drivers/amd64/processor-amd64.cpp
@@ -32,7 +32,7 @@ void Proc::stack_pointer(Mword sp)
 }
 
 IMPLEMENT static inline
-Mword Proc::program_counter ()
+Mword ALWAYS_INLINE Proc::program_counter()
 {
   Mword pc;
   asm volatile ("call 1f ; 1: pop %0" : "=r"(pc));