[PATCH 1/4] xen: distinguish the various fields of the Xen privcmd ioctls in the logging (#321065)

From: Ian Campbell <ian.campbell@citrix.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13435 a5019735-40e9-0310-863c-91ae7b9d1cf9
[PATCH 2/4] xen: update for interface changes in Xen 4.3 release (#321065)

From: Ian Campbell <ian.campbell@citrix.com>



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13436 a5019735-40e9-0310-863c-91ae7b9d1cf9
[PATCH 3/4] xen: VKI_XEN_SYSCTL_sched_id hypercall (#321065)

From: Andrew Cooper <andrew.cooper3@citrix.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13437 a5019735-40e9-0310-863c-91ae7b9d1cf9
[PATCH 4/4] xen: VKI_XENMEM_get_sharing_{freed, shared}_pages hypercall (#321065)

From: Andrew Cooper <andrew.cooper3@citrix.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13438 a5019735-40e9-0310-863c-91ae7b9d1cf9