On 4/1/07 02:41, "Mark Williamson" <mark.williamson@xxxxxxxxxxxx> wrote:
> So actually the field vcpumask is currently being compiled as a void *.
And we get away with this because, on x86, there is no ABI difference
between a guest handle and a plain pointer. This was done just as an
interface cleanup, and because I think it makes Jan's 32-on-64 work easier.
-- Keir
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel