The function flush_tlb_domain is not used outside of the file where it
has been declared.
Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
isb();
}
-void flush_tlb_domain(struct domain *d)
+static void flush_tlb_domain(struct domain *d)
{
struct p2m_domain *p2m = &d->arch.p2m;
unsigned long flags = 0;
/* Flush specified CPUs' TLBs */
void flush_tlb_mask(const cpumask_t *mask);
-/* Flush CPU's TLBs for the specified domain */
-void flush_tlb_domain(struct domain *d);
-
#endif /* __ASM_ARM_FLUSHTLB_H__ */
/*
* Local variables: