#ifndef _PPC_PGALLOC_H
#define _PPC_PGALLOC_H
+#include <linux/config.h>
#include <linux/threads.h>
extern void __bad_pte(pmd_t *pmd);
#define check_pgt_cache() do { } while (0)
-#define arch_add_exec_range(mm, limit) do { ; } while (0)
-#define arch_flush_exec_range(mm) do { ; } while (0)
-#define arch_remove_exec_range(mm, limit) do { ; } while (0)
-
-
#endif /* _PPC_PGALLOC_H */
#endif /* __KERNEL__ */