update

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

diff --git a/kernel/fiasco/src/kern/ia32/64/entry-native.S b/kernel/fiasco/src/kern/ia32/64/entry-native.S
index 425c865139beef3d069fae440169cfc9f0e5533a..3a5c4b71fda477890ee51bac0f288cef89c206c0 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/entry-native.S
+++ b/kernel/fiasco/src/kern/ia32/64/entry-native.S
@@ -175,7 +175,7 @@ entry_sys_fast_ipc_c:
        ESP_TO_TCB_AT %rbx
        RESET_THREAD_CANCEL_AT %rbx
        
-       call    ipc_short_cut_wrapper
+       call    sys_ipc_wrapper
 in_sc_ipc2:
        RESTORE_STATE_SYSEXIT