Index: src/main/kinit.c
===================================================================
--- src/main/kinit.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/main/kinit.c	(revision e6ba9a3f855c691ac06a82e05520611cfdda842f)
@@ -43,5 +43,5 @@
 
 #ifdef __SMP__
-#include <arch/mp.h>
+#include <arch/smp/mp.h>
 #endif /* __SMP__ */
 
Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/main/main.c	(revision e6ba9a3f855c691ac06a82e05520611cfdda842f)
@@ -41,6 +41,6 @@
 
 #ifdef __SMP__
-#include <arch/apic.h>
-#include <arch/mp.h>
+#include <arch/smp/apic.h>
+#include <arch/smp/mp.h>
 #endif /* __SMP__ */
 
Index: src/mm/tlb.c
===================================================================
--- src/mm/tlb.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/mm/tlb.c	(revision e6ba9a3f855c691ac06a82e05520611cfdda842f)
@@ -31,5 +31,5 @@
 #include <synch/spinlock.h>
 #include <typedefs.h>
-#include <arch/atomic.h>
+#include <arch/smp/atomic.h>
 #include <arch/interrupt.h>
 #include <config.h>
Index: src/proc/scheduler.c
===================================================================
--- src/proc/scheduler.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/proc/scheduler.c	(revision e6ba9a3f855c691ac06a82e05520611cfdda842f)
@@ -43,5 +43,5 @@
 
 #ifdef __SMP__
-#include <arch/atomic.h>
+#include <arch/smp/atomic.h>
 #endif /* __SMP__ */
 
Index: src/synch/spinlock.c
===================================================================
--- src/synch/spinlock.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/synch/spinlock.c	(revision e6ba9a3f855c691ac06a82e05520611cfdda842f)
@@ -30,5 +30,5 @@
 
 #ifdef __SMP__
-#include <arch/atomic.h>
+#include <arch/smp/atomic.h>
 #endif
 
Index: src/time/clock.c
===================================================================
--- src/time/clock.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/time/clock.c	(revision e6ba9a3f855c691ac06a82e05520611cfdda842f)
@@ -41,5 +41,5 @@
 
 #ifdef __SMP__
-#include <arch/atomic.h>
+#include <arch/smp/atomic.h>
 #endif
 
