#include <asm/cacheflush.h>
#include <asm/tlbflush.h>
-
-#ifndef CONFIG_MMU
-
-#include <linux/pagemap.h>
-#include <asm-generic/tlb.h>
-
-#else /* !CONFIG_MMU */
-
#include <asm/pgalloc.h>
#include <linux/vs_memory.h>
#define tlb_migrate_finish(mm) do { } while (0)
-#endif /* CONFIG_MMU */
#endif