1 // SPDX-License-Identifier: GPL-2.0 2 #include <linux/compiler.h> 3 #include <linux/init.h> 4 #include <linux/export.h> 5 #include <linux/highmem.h> 6 #include <linux/sched.h> 7 #include <linux/smp.h> 8 #include <asm/fixmap.h> 9 #include <asm/tlbflush.h> 10 11 unsigned long highstart_pfn, highend_pfn; 12 kmap_flush_tlb(unsigned long addr)13void kmap_flush_tlb(unsigned long addr) 14 { 15 flush_tlb_one(addr); 16 } 17 EXPORT_SYMBOL(kmap_flush_tlb); 18