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