update

[l4.git] / kernel / fiasco / src / kern / vcpu.cpp

diff --git a/kernel/fiasco/src/kern/vcpu.cpp b/kernel/fiasco/src/kern/vcpu.cpp
index f0fbe5f3c73db5b1625991c3d5f77eee49915157..8ceffc203d47fa1517623001112045bb2bf051f4 100644 (file)
--- a/kernel/fiasco/src/kern/vcpu.cpp
+++ b/kernel/fiasco/src/kern/vcpu.cpp
@@ -23,15 +23,13 @@ public:
     Sf_irq_pending = 0x01,
   };
 
-
-
   Trap_state _ts;
   Syscall_frame _ipc_regs;
 
-  Mword state;
-  Mword _saved_state;
-
-  Mword sticky_flags;
+  Unsigned16 state;
+  Unsigned16 _saved_state;
+  Unsigned16 sticky_flags;
+  Unsigned16 _reserved;
 
   L4_obj_ref user_task;
 
@@ -39,6 +37,3 @@ public:
   Mword _entry_ip;
   Mword _sp;
 };
-
-
-