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 a1f48f6d73bf4ec2afbde3a3ac7e9be6a34e0f78)
@@ -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)