X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/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 425c86513..3a5c4b71f 100644
--- 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