162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 262306a36Sopenharmony_ci#include <linux/compiler.h> 362306a36Sopenharmony_ci#include <linux/init.h> 462306a36Sopenharmony_ci#include <linux/export.h> 562306a36Sopenharmony_ci#include <linux/highmem.h> 662306a36Sopenharmony_ci#include <linux/sched.h> 762306a36Sopenharmony_ci#include <linux/smp.h> 862306a36Sopenharmony_ci#include <asm/fixmap.h> 962306a36Sopenharmony_ci#include <asm/tlbflush.h> 1062306a36Sopenharmony_ci 1162306a36Sopenharmony_ciunsigned long highstart_pfn, highend_pfn; 1262306a36Sopenharmony_ci 1362306a36Sopenharmony_civoid kmap_flush_tlb(unsigned long addr) 1462306a36Sopenharmony_ci{ 1562306a36Sopenharmony_ci flush_tlb_one(addr); 1662306a36Sopenharmony_ci} 1762306a36Sopenharmony_ciEXPORT_SYMBOL(kmap_flush_tlb); 18