Index: uspace/lib/libc/generic/ipc.c
===================================================================
--- uspace/lib/libc/generic/ipc.c	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ uspace/lib/libc/generic/ipc.c	(revision 71f1cc1dd43b4489b3635e4b8c512aa23359d9b3)
@@ -848,5 +848,5 @@
  * @return		Zero on success or a value from @ref errno.h on failure.
  */
-int ipc_data_read_finalize(ipc_callid_t callid, void *src, size_t size)
+int ipc_data_read_finalize(ipc_callid_t callid, const void *src, size_t size)
 {
 	return ipc_answer_2(callid, EOK, (ipcarg_t) src, (ipcarg_t) size);
@@ -861,5 +861,5 @@
  * @return		Zero on success or a negative error code from errno.h.
  */
-int ipc_data_write_start(int phoneid, void *src, size_t size)
+int ipc_data_write_start(int phoneid, const void *src, size_t size)
 {
 	return async_req_2_0(phoneid, IPC_M_DATA_WRITE, (ipcarg_t) src,
Index: uspace/lib/libc/generic/smc.c
===================================================================
--- uspace/lib/libc/generic/smc.c	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ uspace/lib/libc/generic/smc.c	(revision 71f1cc1dd43b4489b3635e4b8c512aa23359d9b3)
@@ -35,4 +35,5 @@
 #include <libc.h>
 #include <sys/types.h>
+#include <smc.h>
 
 int smc_coherence(void *address, size_t size)
Index: uspace/lib/libc/generic/time.c
===================================================================
--- uspace/lib/libc/generic/time.c	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ uspace/lib/libc/generic/time.c	(revision 71f1cc1dd43b4489b3635e4b8c512aa23359d9b3)
@@ -47,4 +47,6 @@
 #include <as.h>
 #include <ddi.h>
+
+#include <time.h>
 
 /* Pointers to public variables with time */
Index: uspace/lib/libc/generic/tls.c
===================================================================
--- uspace/lib/libc/generic/tls.c	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ uspace/lib/libc/generic/tls.c	(revision 71f1cc1dd43b4489b3635e4b8c512aa23359d9b3)
@@ -117,5 +117,5 @@
 	
 	size = ALIGN_UP(size, &_tls_alignment);
-	*data = memalign(&_tls_alignment, sizeof(tcb_t) + size);
+	*data = memalign((uintptr_t) &_tls_alignment, sizeof(tcb_t) + size);
 
 	tcb = (tcb_t *) (*data + size);
Index: uspace/lib/libc/generic/vfs/canonify.c
===================================================================
--- uspace/lib/libc/generic/vfs/canonify.c	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ uspace/lib/libc/generic/vfs/canonify.c	(revision 71f1cc1dd43b4489b3635e4b8c512aa23359d9b3)
@@ -37,4 +37,5 @@
 
 #include <stdlib.h>
+#include <vfs/canonify.h>
 
 /** Token types used for tokenization of path. */
Index: uspace/lib/libc/generic/vfs/vfs.c
===================================================================
--- uspace/lib/libc/generic/vfs/vfs.c	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ uspace/lib/libc/generic/vfs/vfs.c	(revision 71f1cc1dd43b4489b3635e4b8c512aa23359d9b3)
@@ -117,5 +117,5 @@
 }
 
-static int device_get_handle(char *name, dev_handle_t *handle)
+static int device_get_handle(const char *name, dev_handle_t *handle)
 {
 	int phone = ipc_connect_me_to(PHONE_NS, SERVICE_DEVMAP, DEVMAP_CLIENT,
@@ -365,7 +365,7 @@
 	}
 		
-	off_t newoffs;
+	ipcarg_t newoffs;
 	rc = async_req_3_1(vfs_phone, VFS_SEEK, fildes, offset, whence,
-	    (ipcarg_t)&newoffs);
+	    &newoffs);
 
 	async_serialize_end();
@@ -375,5 +375,5 @@
 		return (off_t) -1;
 	
-	return newoffs;
+	return (off_t) newoffs;
 }