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 e40338a7364d4eeed871b7940e643beb26691aef..81620b0177f88cbd979d0eca11a3c650cb4fa0db 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/context-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/context-ppc32.cpp
@@ -26,9 +26,19 @@ void
 Context::fill_user_state()
 {}
 
+PUBLIC inline
+Utcb *
+Context::access_utcb() const
+{ return utcb(); }
+
+PUBLIC inline
+Vcpu_state *
+Context::access_vcpu(bool = false) const
+{ return vcpu_state(); }
+
 IMPLEMENT inline
 void
-Context::switch_cpu(Context *t) 
+Context::switch_cpu(Context *t)
 {
   unsigned long dummy1, dummy2, dummy3;