|
From: <sv...@va...> - 2013-12-01 10:54:49
|
Author: bart
Date: Sun Dec 1 10:54:42 2013
New Revision: 13730
Log:
xen: XENMEM_add_to_physmap hypercall
Xen reads the entire structure, and if the space is _gmfn, will write the
structure back
From: Andrew Cooper <and...@ci...>
Signed-off-by: Andrew Cooper <and...@ci...>
Modified:
trunk/coregrind/m_syswrap/syswrap-xen.c
trunk/include/vki/vki-xen-memory.h
Modified: trunk/coregrind/m_syswrap/syswrap-xen.c
==============================================================================
--- trunk/coregrind/m_syswrap/syswrap-xen.c (original)
+++ trunk/coregrind/m_syswrap/syswrap-xen.c Sun Dec 1 10:54:42 2013
@@ -172,6 +172,22 @@
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;
@@ -774,6 +790,13 @@
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 */
Modified: trunk/include/vki/vki-xen-memory.h
==============================================================================
--- trunk/include/vki/vki-xen-memory.h (original)
+++ trunk/include/vki/vki-xen-memory.h Sun Dec 1 10:54:42 2013
@@ -46,6 +46,21 @@
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
/*--------------------------------------------------------------------*/
|