update

[l4.git] / kernel / fiasco / src / kern / ia32 / 64 / entry.S

diff --git a/kernel/fiasco/src/kern/ia32/64/entry.S b/kernel/fiasco/src/kern/ia32/64/entry.S
index d4ead08972320b5fdf3c9204d4f97178f40b2b84..fa7aed91994e243b14021685e2d092cd4d33f197 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/entry.S
+++ b/kernel/fiasco/src/kern/ia32/64/entry.S
@@ -357,7 +357,7 @@ entry_sys_ipc_c:
        RESET_THREAD_CANCEL_AT %rbx
 
 
-       call    ipc_short_cut_wrapper
+       call    sys_ipc_wrapper
 in_sc_ipc1:
        RESTORE_STATE
        pop     %rax