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

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