Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/ddi/ddi.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -41,5 +41,4 @@
 
 #include <ddi/ddi.h>
-#include <ddi/ddi_arg.h>
 #include <proc/task.h>
 #include <security/cap.h>
Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/ipc/event.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -36,5 +36,4 @@
 
 #include <ipc/event.h>
-#include <ipc/event_types.h>
 #include <mm/slab.h>
 #include <typedefs.h>
Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/ipc/ipc.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -38,11 +38,9 @@
  */
 
-#include <synch/synch.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
 #include <synch/waitq.h>
-#include <synch/synch.h>
 #include <ipc/ipc.h>
-#include <ipc/ipc_methods.h>
+#include <abi/ipc/methods.h>
 #include <ipc/kbox.h>
 #include <ipc/event.h>
Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/ipc/kbox.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -33,9 +33,8 @@
  */
 
-#include <synch/synch.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
 #include <ipc/ipc.h>
-#include <ipc/ipc_methods.h>
+#include <abi/ipc/methods.h>
 #include <ipc/ipcrsc.h>
 #include <arch.h>
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/ipc/sysipc.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -40,5 +40,5 @@
 #include <debug.h>
 #include <ipc/ipc.h>
-#include <ipc/ipc_methods.h>
+#include <abi/ipc/methods.h>
 #include <ipc/sysipc.h>
 #include <ipc/irq.h>
Index: kernel/generic/src/proc/program.c
===================================================================
--- kernel/generic/src/proc/program.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/proc/program.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -40,5 +40,4 @@
 #include <proc/thread.h>
 #include <proc/task.h>
-#include <proc/uarg.h>
 #include <mm/as.h>
 #include <mm/slab.h>
Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/proc/thread.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -39,5 +39,4 @@
 #include <proc/thread.h>
 #include <proc/task.h>
-#include <proc/uarg.h>
 #include <mm/frame.h>
 #include <mm/page.h>
@@ -45,5 +44,4 @@
 #include <arch/cycle.h>
 #include <arch.h>
-#include <synch/synch.h>
 #include <synch/spinlock.h>
 #include <synch/waitq.h>
Index: kernel/generic/src/synch/condvar.c
===================================================================
--- kernel/generic/src/synch/condvar.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/synch/condvar.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -39,5 +39,4 @@
 #include <synch/mutex.h>
 #include <synch/waitq.h>
-#include <synch/synch.h>
 #include <arch.h>
 
Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/synch/futex.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -39,5 +39,4 @@
 #include <synch/mutex.h>
 #include <synch/spinlock.h>
-#include <synch/synch.h>
 #include <mm/frame.h>
 #include <mm/page.h>
Index: kernel/generic/src/synch/mutex.c
===================================================================
--- kernel/generic/src/synch/mutex.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/synch/mutex.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -38,5 +38,4 @@
 #include <synch/mutex.h>
 #include <synch/semaphore.h>
-#include <synch/synch.h>
 #include <debug.h>
 #include <arch.h>
Index: kernel/generic/src/synch/semaphore.c
===================================================================
--- kernel/generic/src/synch/semaphore.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/synch/semaphore.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -39,5 +39,4 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
-#include <synch/synch.h>
 #include <arch/asm.h>
 #include <arch.h>
Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/synch/waitq.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -45,5 +45,4 @@
 
 #include <synch/waitq.h>
-#include <synch/synch.h>
 #include <synch/spinlock.h>
 #include <proc/thread.h>
Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision e16e2ba4cefaadd4b2bb61faaa6b4e88b7e8f9d7)
+++ kernel/generic/src/sysinfo/stats.c	(revision b538ca5cefd42f154f31ac8a6eaeb314a2eb8bf9)
@@ -35,5 +35,5 @@
 
 #include <typedefs.h>
-#include <sysinfo/abi.h>
+#include <abi/sysinfo.h>
 #include <sysinfo/stats.h>
 #include <sysinfo/sysinfo.h>