Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision 6d351e674a67b6ecee3c205c0f09e29e92b462be)
+++ kernel/generic/include/ipc/ipc.h	(revision c32b6f035e31fd032734df1b3cb93836d49b9c3b)
@@ -179,4 +179,5 @@
 extern void ipc_call_release(call_t *);
 
+extern int ipc_call_sync(phone_t *, call_t *);
 extern int ipc_call(phone_t *, call_t *);
 extern call_t *ipc_wait_for_call(answerbox_t *, uint32_t, unsigned int);
Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision 6d351e674a67b6ecee3c205c0f09e29e92b462be)
+++ kernel/generic/include/ipc/sysipc.h	(revision c32b6f035e31fd032734df1b3cb93836d49b9c3b)
@@ -40,4 +40,6 @@
 #include <typedefs.h>
 
+extern int ipc_req_internal(int, ipc_data_t *);
+
 extern sysarg_t sys_ipc_call_async_fast(sysarg_t, sysarg_t, sysarg_t,
     sysarg_t, sysarg_t, sysarg_t);