Message ID | 1469715620-4670-14-git-send-email-julien.grall@arm.com |
---|---|
State | New |
Headers | show |
diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c index 6a9767c..bda9b97 100644 --- a/xen/arch/arm/p2m.c +++ b/xen/arch/arm/p2m.c @@ -137,7 +137,7 @@ void p2m_restore_state(struct vcpu *n) 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; diff --git a/xen/include/asm-arm/flushtlb.h b/xen/include/asm-arm/flushtlb.h index c986b3f..329fbb4 100644 --- a/xen/include/asm-arm/flushtlb.h +++ b/xen/include/asm-arm/flushtlb.h @@ -25,9 +25,6 @@ do { \ /* 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: