|
@@ -71,10 +71,8 @@ static inline int pte_file(pte_t pte) { return 0; }
|
|
|
#define swapper_pg_dir ((pgd_t *) NULL)
|
|
|
|
|
|
#define pgtable_cache_init() do {} while (0)
|
|
|
-#define arch_enter_lazy_mmu_mode() do {} while (0)
|
|
|
-#define arch_leave_lazy_mmu_mode() do {} while (0)
|
|
|
-#define arch_enter_lazy_cpu_mode() do {} while (0)
|
|
|
-#define arch_leave_lazy_cpu_mode() do {} while (0)
|
|
|
+
|
|
|
+#include <asm-generic/pgtable.h>
|
|
|
|
|
|
#else /* !CONFIG_MMU */
|
|
|
/*****************************************************************************/
|