]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/entry_frame.cpp
Update
[l4.git] / kernel / fiasco / src / kern / entry_frame.cpp
index 2183ddb76c7263939d894ddfebdf9298526b7f8f..047934948afe06868498089ff8e0483b92f03288 100644 (file)
@@ -27,8 +27,6 @@ public:
 
   Mword from_spec() const;
   void from(Mword id);
-
-  Mword next_period() const;
 };
 
 
@@ -55,6 +53,13 @@ class Entry_frame
   public Syscall_frame,
   public Syscall_pre_frame,
   public Return_frame
-{} __attribute__((packed));
+{
+public:
+  static Entry_frame *to_entry_frame(Syscall_frame *sf)
+  { return nonull_static_cast<Entry_frame *>(sf); }
+
+  Syscall_frame *syscall_frame() { return this; }
+  Syscall_frame const *syscall_frame() const { return this; }
+} __attribute__((packed));