__update_cache
__update_cache(addr, pte);
extern void __update_cache(unsigned long address, pte_t pte);
__update_cache(pte);
#define update_mmu_cache_range(vmf, vma, addr, ptep, nr) __update_cache(*ptep)
#define update_mmu_cache(vma, addr, ptep) __update_cache(*ptep)
extern void __update_cache(pte_t pte);
extern void __update_cache(struct vm_area_struct *vma,
__update_cache(vma, address, pte);