[Xen-devel] [PATCH 2 of 2] valgrind/xen - VKI_XENMEM_get_sharing_{freed, shared}_pages hypercall

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

These hypercalls take no parameters and their return value is stright from the
ioctl() on privcmd.  There are no memory read/writes.

Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>

diff -r 1f531a813c0c -r b3399fbed618 coregrind/m_syswrap/syswrap-xen.c
--- a/coregrind/m_syswrap/syswrap-xen.c
+++ b/coregrind/m_syswrap/syswrap-xen.c
@@ -148,6 +148,11 @@ PRE(memory_op)
       break;
    }
 
+   case VKI_XENMEM_get_sharing_freed_pages:
+   case VKI_XENMEM_get_sharing_shared_pages:
+       /* No inputs */
+       break;
+
    default:
       bad_subop(tid, layout, arrghs, status, flags,
                 "__HYPERVISOR_memory_op", ARG1);
@@ -651,6 +656,11 @@ POST(memory_op)
                      sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents);
       break;
    }
+
+   case VKI_XENMEM_get_sharing_freed_pages:
+   case VKI_XENMEM_get_sharing_shared_pages:
+       /* No outputs */
+       break;
    }
 }
 

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel