xen: arm: implement share_xen_page_with_privileged_guests

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/xen/arch/arm/dummy.S b/xen/arch/arm/dummy.S
index 3497afa473f6530b21f5b6b1d75718b53c303b03..6416f949cff3b607cf2fc25e9caf52d66f160f40 100644 (file)
--- a/xen/arch/arm/dummy.S
+++ b/xen/arch/arm/dummy.S
@@ -8,6 +8,3 @@ x:      mov pc, lr
        
 /* PIRQ support */
 DUMMY(nr_irqs_gsi);
-
-/* Other */
-DUMMY(share_xen_page_with_privileged_guests);

diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c
index d9c1ff71e3f70fcf21f7078a7d283a3b02461448..d97b3ea4afc664c67b8bc0ca279a87b7c29681d3 100644 (file)
--- a/xen/arch/arm/mm.c
+++ b/xen/arch/arm/mm.c
@@ -506,6 +506,12 @@ void share_xen_page_with_guest(struct page_info *page,
     spin_unlock(&d->page_alloc_lock);
 }
 
+void share_xen_page_with_privileged_guests(
+    struct page_info *page, int readonly)
+{
+    share_xen_page_with_guest(page, dom_xen, readonly);
+}
+
 static int xenmem_add_to_physmap_one(
     struct domain *d,
     uint16_t space,