diff --git a/xen/arch/arm/dummy.S b/xen/arch/arm/dummy.S
index 8303b0eee9..bff300c3fd 100644
--- a/xen/arch/arm/dummy.S
+++ b/xen/arch/arm/dummy.S
@@ -10,7 +10,6 @@ x:	mov pc, lr
 DUMMY(nr_irqs_gsi);
 
 /* Other */
-DUMMY(domain_get_maximum_gpfn);
 DUMMY(domain_relinquish_resources);
 DUMMY(dom_cow);
 DUMMY(send_timer_event);
diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c
index 329b1d43cc..718f32d2e8 100644
--- a/xen/arch/arm/mm.c
+++ b/xen/arch/arm/mm.c
@@ -447,6 +447,11 @@ int page_is_ram_type(unsigned long mfn, unsigned long mem_type)
     return 0;
 }
 
+unsigned long domain_get_maximum_gpfn(struct domain *d)
+{
+    return -ENOSYS;
+}
+
 void share_xen_page_with_guest(struct page_info *page,
                           struct domain *d, int readonly)
 {