Index: uspace/lib/libc/include/ipc/ipc.h
===================================================================
--- uspace/lib/libc/include/ipc/ipc.h	(revision b39fd4c573be61dbccb170662ee0255e4e8814b1)
+++ uspace/lib/libc/include/ipc/ipc.h	(revision 4f690cd2c7a0267072f5686e5a0d2fff1f3be7b7)
@@ -192,4 +192,5 @@
 extern ipc_callid_t ipc_wait_cycle(ipc_call_t *, uint32_t, int);
 extern ipc_callid_t ipc_wait_for_call_timeout(ipc_call_t *, uint32_t);
+extern void ipc_poke(void);
 
 static inline ipc_callid_t ipc_wait_for_call(ipc_call_t *data)