Displaying 2 results from an estimated 2 matches for "__pre_xen_domctl_read".
2012 Sep 04
2
[PATCH] valgrind: Support for ioctls used by Xen toolstack processes.
...ersion;
+ * domid_t domain;
+ */
+ PRE_MEM_READ("__HYPERVISOR_domctl", ARG1,
+ sizeof(uint32_t) + sizeof(uint32_t) + sizeof(domid_t));
+
+ if (!domctl || domctl->interface_version != XEN_DOMCTL_INTERFACE_VERSION)
+ /* BUG ? */
+ return;
+
+#define __PRE_XEN_DOMCTL_READ(_domctl, _union, _field) \
+ PRE_MEM_READ("XEN_DOMCTL_" # _domctl, \
+ (Addr)&domctl->u._union._field, \
+ sizeof(domctl->u._union._field))
+#define PRE_XEN_DOMCTL_READ(_domctl, _field) \
+ __PRE_XEN_DOMCTL_READ(_do...
2012 Oct 11
0
Re: [Valgrind-developers] [PATCH 1/4] Useful messages for sys/domctl interface_version mismatch.
...t\n");
> + VG_(dmsg)("it at http://valgrind.org/support/bug_reports.html &\n");
> + VG_(dmsg)("http://wiki.xen.org/wiki/Reporting_Bugs_against_Xen.\n");
> +
> + SET_STATUS_Failure(VKI_EINVAL);
> return;
> + }
>
> #define __PRE_XEN_DOMCTL_READ(_domctl, _union, _field) \
> PRE_MEM_READ("XEN_DOMCTL_" # _domctl, \
> @@ -740,11 +775,14 @@ POST(sysctl)
>
> case XEN_SYSCTL_topologyinfo:
> POST_XEN_SYSCTL_WRITE(topologyinfo, max_cpu_index);
> - POST_MEM_WRITE((Addr)sysctl->u.to...