(Addr)ARG2, sizeof(vki_xen_domid_t));
break;
- case VKI_XENMEM_machphys_mfn_list: {
+ case VKI_XENMEM_machphys_mfn_list:
+ case VKI_XENMEM_machphys_compat_mfn_list: {
struct vki_xen_machphys_mfn_list *arg =
(struct vki_xen_machphys_mfn_list *)ARG2;
PRE_MEM_READ("XENMEM_machphys_mfn_list max_extents",
break;
}
- case VKI_XENMEM_machphys_mfn_list: {
+ case VKI_XENMEM_machphys_mfn_list:
+ case VKI_XENMEM_machphys_compat_mfn_list: {
struct vki_xen_machphys_mfn_list *arg =
(struct vki_xen_machphys_mfn_list *)ARG2;
POST_MEM_WRITE((Addr)&arg->nr_extents, sizeof(arg->nr_extents));
#define VKI_XENMEM_get_sharing_shared_pages 19
#define VKI_XENMEM_access_op 21
#define VKI_XENMEM_claim_pages 24
+#define VKI_XENMEM_machphys_compat_mfn_list 25
struct vki_xen_memory_map {
unsigned int nr_entries;