Index: uspace/libc/include/as.h
===================================================================
--- uspace/libc/include/as.h	(revision df24ec3c3a1cd6ffd5c6b43561155da6c89e4c25)
+++ uspace/libc/include/as.h	(revision 7d07bf31f74e2ee585ca017e2dccbd51c38cad08)
@@ -38,5 +38,4 @@
 #include <types.h>
 #include <task.h>
-#include <kernel/arch/mm/as.h>
 #include <kernel/mm/as.h>
 #include <libarch/config.h>
Index: uspace/libc/include/ipc/ipc.h
===================================================================
--- uspace/libc/include/ipc/ipc.h	(revision df24ec3c3a1cd6ffd5c6b43561155da6c89e4c25)
+++ uspace/libc/include/ipc/ipc.h	(revision 7d07bf31f74e2ee585ca017e2dccbd51c38cad08)
@@ -37,5 +37,5 @@
 
 #include <kernel/ipc/ipc.h>
-#include <kernel/ipc/irq.h>
+#include <kernel/ddi/irq.h>
 #include <libc.h>
 #include <types.h>
@@ -46,5 +46,5 @@
 	ipcarg_t args[IPC_CALL_LEN];
 	ipcarg_t in_phone_hash;
-} ipc_call_t ;
+} ipc_call_t;
 typedef sysarg_t ipc_callid_t;