Callers are VT-d (so x86 specific) and various bits of page offlining
support, which although it looks generic (and is in xen/common) does
things like diving into page_info->count_info which is not generic.
In any case on this is only reachable via XEN_SYSCTL_page_offline_op,
which clearly shouldn't be called on ARM just yet.
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>
/* PIRQ support */
DUMMY(nr_irqs_gsi);
-/* Page Offlining */
-DUMMY(page_is_ram_type);
-
/* Other */
DUMMY(domain_get_maximum_gpfn);
DUMMY(domain_relinquish_resources);
return -1;
}
+int page_is_ram_type(unsigned long mfn, unsigned long mem_type)
+{
+ ASSERT(0);
+ return 0;
+}
+
void share_xen_page_with_guest(struct page_info *page,
struct domain *d, int readonly)
{