|
@@ -781,6 +781,18 @@ static inline void clone_pgd_range(pgd_t *dst, pgd_t *src, int count)
|
|
|
memcpy(dst, src, count * sizeof(pgd_t));
|
|
|
}
|
|
|
|
|
|
+/*
|
|
|
+ * The x86 doesn't have any external MMU info: the kernel page
|
|
|
+ * tables contain all the necessary information.
|
|
|
+ */
|
|
|
+static inline void update_mmu_cache(struct vm_area_struct *vma,
|
|
|
+ unsigned long addr, pte_t *ptep)
|
|
|
+{
|
|
|
+}
|
|
|
+static inline void update_mmu_cache_pmd(struct vm_area_struct *vma,
|
|
|
+ unsigned long addr, pmd_t *pmd)
|
|
|
+{
|
|
|
+}
|
|
|
|
|
|
#include <asm-generic/pgtable.h>
|
|
|
#endif /* __ASSEMBLY__ */
|