X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/8fe9942cde59835eb3c3c6936d866dd3305582ef..003b628647705666de261350195da72a38f2c4d2:/kernel/fiasco/src/kern/syscalls.cpp

diff --git a/kernel/fiasco/src/kern/syscalls.cpp b/kernel/fiasco/src/kern/syscalls.cpp
index 95f381b85..53e84480f 100644
--- a/kernel/fiasco/src/kern/syscalls.cpp
+++ b/kernel/fiasco/src/kern/syscalls.cpp
@@ -8,7 +8,7 @@ extern "C" void sys_ipc_wrapper();
 
 IMPLEMENT void FIASCO_FLATTEN sys_ipc_wrapper()
 {
-  assert_kdb (!(current()->state() & Thread_drq_ready));
+  assert (!(current()->state() & Thread_drq_ready));
 
 #ifndef NDEBUG
   if ((current()->state() & Thread_vcpu_enabled)
@@ -17,7 +17,7 @@ IMPLEMENT void FIASCO_FLATTEN sys_ipc_wrapper()
 #endif
 
   Thread *curr = current_thread();
-  Syscall_frame *f = curr->regs();
+  Syscall_frame *f = curr->regs()->syscall_frame();
 
   Obj_cap obj = f->ref();
   Utcb *utcb = curr->utcb().access(true);
@@ -44,7 +44,7 @@ extern "C" void sys_invoke_debug_wrapper();
 IMPLEMENT void FIASCO_FLATTEN sys_invoke_debug_wrapper()
 {
   Thread *curr = current_thread();
-  Syscall_frame *f = curr->regs();
+  Syscall_frame *f = curr->regs()->syscall_frame();
   //printf("sys_invoke_debugger(f=%p, obj=%lx)\n", f, f->ref().raw());
   Kobject_iface *o = curr->space()->lookup_local(f->ref().cap());
   if (o && &::sys_invoke_debug)