Fixed various minor issues.

Tag setting before ipc via l4 libraries don't seem to work, whereas
c0 internally generated ipcs do it correctly.

include/l4/api/ipc.h

@@ -7,24 +7,15 @@
 
 #define L4_IPC_TAG_MR_OFFSET		0
 
-
-/* To synchronise two threads */
-#define L4_IPC_TAG_WAIT			0
-
 /* Pagefault */
-#define L4_IPC_TAG_PFAULT		2
+#define L4_IPC_TAG_PFAULT		0
 
-#if defined (__KERNEL__) /* These are kernel internal calls */
-/* A helper call for sys_ipc() or internally created ipc paths. */
+#if defined (__KERNEL__)
+
+/* These are for internally created ipc paths. */
 int ipc_send(l4id_t to);
 int ipc_sendrecv(l4id_t to, l4id_t from);
 
-/*
- * This version sends an extra wait ipc to its receiver so that
- * the receiver can explicitly make it runnable later by accepting
- * this wait ipc.
- */
-int ipc_sendwait(l4id_t tid);
 #endif
 
 #endif /* __IPC_H__ */

include/l4/generic/space.h

@@ -18,6 +18,8 @@
 #define MAP_SVC_DEFAULT_FLAGS	MAP_SVC_RW_FLAGS
 #define MAP_IO_DEFAULT_FLAGS	MAP_SVC_IO_FLAGS
 
+#if defined (__KERNEL__)
 int check_access(unsigned long vaddr, unsigned long size, unsigned int flags);
+#endif
 
 #endif /* __SPACE_H__ */