break;
}
+ case VKI_XENMEM_add_to_physmap: {
+ struct vki_xen_add_to_physmap *arg =
+ (struct vki_xen_add_to_physmap *)ARG2;
+ PRE_MEM_READ("XENMEM_add_to_physmap domid",
+ (Addr)&arg->domid, sizeof(arg->domid));
+ PRE_MEM_READ("XENMEM_add_to_physmap size",
+ (Addr)&arg->size, sizeof(arg->size));
+ PRE_MEM_READ("XENMEM_add_to_physmap space",
+ (Addr)&arg->space, sizeof(arg->space));
+ PRE_MEM_READ("XENMEM_add_to_physmap idx",
+ (Addr)&arg->idx, sizeof(arg->idx));
+ PRE_MEM_READ("XENMEM_add_to_physmap gpfn",
+ (Addr)&arg->gpfn, sizeof(arg->gpfn));
+ break;
+ };
+
case VKI_XENMEM_get_sharing_freed_pages:
case VKI_XENMEM_get_sharing_shared_pages:
break;
break;
}
+ case VKI_XENMEM_add_to_physmap: {
+ struct vki_xen_add_to_physmap *arg =
+ (struct vki_xen_add_to_physmap *)ARG2;
+ if (arg->space == VKI_XENMAPSPACE_gmfn_range)
+ POST_MEM_WRITE(ARG2, sizeof(*arg));
+ }
+
case VKI_XENMEM_get_sharing_freed_pages:
case VKI_XENMEM_get_sharing_shared_pages:
/* No outputs */
unsigned int nr_extents; /* OUT */
};
+struct vki_xen_add_to_physmap {
+ vki_xen_domid_t domid;
+ vki_uint16_t size;
+
+#define VKI_XENMAPSPACE_shared_info 0
+#define VKI_XENMAPSPACE_grant_table 1
+#define VKI_XENMAPSPACE_gmfn 2
+#define VKI_XENMAPSPACE_gmfn_range 3
+#define VKI_XENMAPSPACE_gmfn_foreign 4
+
+ unsigned int space;
+ vki_xen_ulong_t idx;
+ vki_xen_pfn_t gpfn;
+};
+
#endif // __VKI_XEN_MEMORY_H
/*--------------------------------------------------------------------*/