flush_tlb_kernel_range
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(addr, addr + PMD_SIZE);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(__phys_to_virt(start),
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(virt, end);
flush_tlb_kernel_range(start, start + size);
flush_tlb_kernel_range(addr, addr+PAGE_SIZE);
flush_tlb_kernel_range(saddr, addr);
flush_tlb_kernel_range(virt, virt + size);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(addr, addr + PMD_SIZE);
flush_tlb_kernel_range(addr, addr + PUD_SIZE);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(lstart, lend);
flush_tlb_kernel_range(start, start + size);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
extern void flush_tlb_kernel_range(unsigned long, unsigned long);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(start, end);
extern void flush_tlb_kernel_range(unsigned long, unsigned long);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(address, address + PAGE_SIZE);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range((unsigned long)_text, (unsigned long)_end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range((unsigned long)fixmap,
flush_tlb_kernel_range((unsigned long)fixmap, (unsigned long)p);
flush_tlb_kernel_range(vaddr, vaddr + PAGE_SIZE);
flush_tlb_kernel_range(vaddr, vaddr + PAGE_SIZE);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(text_poke_addr, text_poke_addr + PAGE_SIZE);
flush_tlb_kernel_range(text_poke_addr, text_poke_addr + PAGE_SIZE);
flush_tlb_kernel_range(addr, addr + PUD_SIZE);
flush_tlb_kernel_range(addr, addr + PMD_SIZE);
flush_tlb_kernel_range(k_start, k_end);
flush_tlb_kernel_range(k_start, k_end);
flush_tlb_kernel_range(k_start, k_end);
flush_tlb_kernel_range(k_start, k_end);
flush_tlb_kernel_range(KASAN_SHADOW_START, KASAN_SHADOW_END);
flush_tlb_kernel_range(PAGE_OFFSET + v, PAGE_OFFSET + top);
EXPORT_SYMBOL(flush_tlb_kernel_range);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(va, va + PAGE_SIZE);
void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(start, start + size);
flush_tlb_kernel_range(addr, addr + PMD_SIZE);
flush_tlb_kernel_range(addr, addr + PUD_SIZE);
flush_tlb_kernel_range(start, end);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(vaddr, vaddr + size);
void flush_tlb_kernel_range(unsigned long start, unsigned long end);
#define flush_cache_vmap flush_tlb_kernel_range
#define flush_cache_vunmap flush_tlb_kernel_range
flush_tlb_kernel_range(start, start + size);
flush_tlb_kernel_range(start, start + size);
extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE-1);
flush_tlb_kernel_range(addr, addr + PAGE_SIZE-1);
void flush_tlb_kernel_range(unsigned long start, unsigned long end);
flush_tlb_kernel_range(kaddr, kaddr + (page_cnt * PAGE_SIZE));
flush_tlb_kernel_range(kaddr, kaddr + (page_cnt * PAGE_SIZE));
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(PKMAP_ADDR(0), PKMAP_ADDR(LAST_PKMAP));
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(start, start + PMD_SIZE);
flush_tlb_kernel_range((unsigned long)shadow_start,
flush_tlb_kernel_range(shadow_start, shadow_end);
flush_tlb_kernel_range(origin_start, origin_end);
flush_tlb_kernel_range(
flush_tlb_kernel_range(addr, addr + PAGE_SIZE);
flush_tlb_kernel_range(addr, end);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(va->va_start, va->va_end);
flush_tlb_kernel_range(addr, addr + size);
flush_tlb_kernel_range(start, end);
flush_tlb_kernel_range(addr, end);