extern int pmdp_clear_flush_young(struct vm_area_struct *vma,
unsigned long address, pmd_t *pmdp);
++/*
++ * 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)
++{
++}
#define __HAVE_ARCH_PMDP_SPLITTING_FLUSH
extern void pmdp_splitting_flush(struct vm_area_struct *vma,