update

[l4.git] / kernel / fiasco / src / kern / ppc32 / context-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/context-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/context-ppc32.cpp
index ba9514624f51e4be8475ecda8c10b390acef18a8..79d348cf0be57a246b31a64026063e0f09cfb2af 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/context-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/context-ppc32.cpp
@@ -26,11 +26,6 @@ void
 Context::fill_user_state()
 {}
 
-PUBLIC inline
-Vcpu_state *
-Context::access_vcpu(bool = false) const
-{ return vcpu_state(); }
-
 IMPLEMENT inline
 void
 Context::switch_cpu(Context *t)