Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision 5ab16485f681adfc74e088c4343befe8a30bc0b7)
+++ kernel/generic/include/ipc/sysipc.h	(revision 861453435f02d9fbe42415aa850fd726fe185510)
@@ -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);