[Xen-changelog] [xen-unstable] arm: implement stub version of flush_tlb_mask.

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Ian Campbell <ian.campbell@xxxxxxxxxx>
# Date 1340724233 -3600
# Node ID 21aac4e1593038cf89057ef1009f2f12a97df6e9
# Parent  ed928dedcb868928c4bb2cadcb71db1f3dfd4fca
arm: implement stub version of flush_tlb_mask.

Signed-off-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
Acked-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
Committed-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---


diff -r ed928dedcb86 -r 21aac4e15930 xen/arch/arm/dummy.S
--- a/xen/arch/arm/dummy.S      Tue Jun 26 16:23:52 2012 +0100
+++ b/xen/arch/arm/dummy.S      Tue Jun 26 16:23:53 2012 +0100
@@ -48,7 +48,6 @@ DUMMY(domain_get_maximum_gpfn);
 DUMMY(domain_relinquish_resources);
 DUMMY(domain_set_time_offset);
 DUMMY(dom_cow);
-DUMMY(flush_tlb_mask);
 DUMMY(gmfn_to_mfn);
 DUMMY(hypercall_create_continuation);
 DUMMY(send_timer_event);
diff -r ed928dedcb86 -r 21aac4e15930 xen/arch/arm/smp.c
--- a/xen/arch/arm/smp.c        Tue Jun 26 16:23:52 2012 +0100
+++ b/xen/arch/arm/smp.c        Tue Jun 26 16:23:53 2012 +0100
@@ -1,5 +1,14 @@
 #include <xen/config.h>
+#include <asm/system.h>
 #include <asm/smp.h>
+#include <asm/cpregs.h>
+#include <asm/page.h>
+
+void flush_tlb_mask(const cpumask_t *mask)
+{
+    /* XXX IPI other processors */
+    flush_xen_data_tlb();
+}
 
 void smp_call_function(
     void (*func) (void *info),

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog