Index: src/mm/tlb.c
===================================================================
--- src/mm/tlb.c	(revision 4ffa9e01e6e86ad38deee8aff7dc570f7088ceba)
+++ src/mm/tlb.c	(revision 397c77f3eabd20d194d7f9f89a7358eb5a0e23f8)
@@ -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>