On Mon, 25 Apr 2011 10:04:43 +0200
Jan Kiszka <[email protected]> wrote:
> > +
> > + ptep_user = (pt_element_t __user *)((void *)host_addr + offset);
> > + if (get_user(pte, ptep_user)) {
> ^^^^^^^^^^^^
> This doesn't work for x86-32: pte is 64 bit, but get_user is only
> defined up to 32 bit on that platform.
>
> Avi, what's your 32-bit buildbot doing? :)
>
> Jan
>
Sorry, I did not test on x86_32.
Introducing a wrapper function with ifdef would be the best way?
Takuya
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html