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

Reply via email to