memory/compat: rename get_reserved_device_memory()

... to distinguish it from its non-compat counterpart.

Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
---
TBD: Perhaps replace by a more generic patch adding .file to all compat/*.c files?

--- a/xen/common/compat/memory.c
+++ b/xen/common/compat/memory.c
@@ -23,8 +23,7 @@ struct get_reserved_device_memory {
     unsigned int used_entries;
 };
 
-static int get_reserved_device_memory(xen_pfn_t start, xen_ulong_t nr,
-                                      u32 id, void *ctxt)
+static int compat_grdm(xen_pfn_t start, xen_ulong_t nr, u32 id, void *ctxt)
 {
     struct get_reserved_device_memory *grdm = ctxt;
     u32 sbdf = PCI_SBDF3(grdm->map.dev.pci.seg, grdm->map.dev.pci.bus,
@@ -355,8 +354,7 @@ int compat_memory_op(unsigned int cmd, X
                 return -EINVAL;
 
             grdm.used_entries = 0;
-            rc = iommu_get_reserved_device_memory(get_reserved_device_memory,
-                                                  &grdm);
+            rc = iommu_get_reserved_device_memory(compat_grdm, &grdm);
 
             if ( !rc && grdm.map.nr_entries < grdm.used_entries )
                 rc = -ENOBUFS;