On Mon, 2011-09-19 at 23:43 +0100, Daniel De Graaf wrote:
> +static void *linux_gntshr_share_pages(xc_gntshr *xch, xc_osdep_handle h,
> + uint32_t domid, int count,
> + uint32_t *refs, int writable)
> [...]
> +static void *linux_gntshr_share_page_notify(xc_gntshr *xch, xc_osdep_handle
> h,
> + uint32_t domid, uint32_t *ref,
> + int writable, uint32_t
> notify_offset,
> + evtchn_port_t notify_port,
> + int *notify_result)
I have the same opinion of the need for both of these as for the gntmap
ones. They are identical apart from the notify block in the middle,
right?
Ian.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|