| // SPDX-License-Identifier: GPL-2.0 | |
| #include <linux/compiler.h> | |
| #include <linux/init.h> | |
| #include <linux/export.h> | |
| #include <linux/highmem.h> | |
| #include <linux/sched.h> | |
| #include <linux/smp.h> | |
| #include <asm/fixmap.h> | |
| #include <asm/tlbflush.h> | |
| unsigned long highstart_pfn, highend_pfn; | |
| void kmap_flush_tlb(unsigned long addr) | |
| { | |
| flush_tlb_one(addr); | |
| } | |
| EXPORT_SYMBOL(kmap_flush_tlb); |