Update

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

diff --git a/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp b/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp
index bf3c3af1e8557760cffde7a38f4df6442a5c0d4f..58e92d72db681e2d196450e259528f23dd15bcc9 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp
+++ b/kernel/fiasco/src/kern/ia32/64/context-ia32-64.cpp
@@ -4,7 +4,7 @@ EXTENSION class Context
 {
 protected:
   Mword _gs_base, _fs_base;
-  Unsigned32 _ds;
+  Unsigned16 _ds;
 
 public:
   Mword fs_base() const { return _fs_base; }
@@ -89,7 +89,7 @@ void
 Context::store_segments()
 {}
 
-IMPLEMENT inline
+IMPLEMENT_OVERRIDE inline
 void
 Context::vcpu_pv_switch_to_kernel(Vcpu_state *vcpu, bool current)
 {
@@ -136,7 +136,7 @@ Context::vcpu_pv_switch_to_kernel(Vcpu_state *vcpu, bool current)
     Cpu::wrmsr(_gs_base, MSR_GS_BASE);
 }
 
-IMPLEMENT inline
+IMPLEMENT_OVERRIDE inline
 void
 Context::vcpu_pv_switch_to_user(Vcpu_state *vcpu, bool current)
 {