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 | |
13 | void kmap_flush_tlb(unsigned long addr) |
14 | { |
15 | flush_tlb_one(addr); |
16 | } |
17 | EXPORT_SYMBOL(kmap_flush_tlb); |
18 |