Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision 6c4a56f3dfeb76e8cadec584d06e5862d6074d3e)
+++ kernel/generic/include/ipc/sysipc.h	(revision 057d21af95b6d9e801a14c4a6e6e4a784ad3dfd7)
@@ -52,4 +52,5 @@
 unative_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec,
     int nonblocking);
+unative_t sys_ipc_poke(void);
 unative_t sys_ipc_forward_fast(unative_t callid, unative_t phoneid,
     unative_t method, unative_t arg1, unative_t arg2, int mode);
Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision 6c4a56f3dfeb76e8cadec584d06e5862d6074d3e)
+++ kernel/generic/include/syscall/syscall.h	(revision 057d21af95b6d9e801a14c4a6e6e4a784ad3dfd7)
@@ -66,4 +66,5 @@
 	SYS_IPC_FORWARD_SLOW,
 	SYS_IPC_WAIT,
+	SYS_IPC_POKE,
 	SYS_IPC_HANGUP,
 	SYS_IPC_REGISTER_IRQ,