|
|
|
|
|
|
|
|
|
|
xen-devel
[Xen-devel] Re: [PATCH v2] Allow guests to register secondary vcpu_time_
On 20/10/2009 00:49, "Jeremy Fitzhardinge" <jeremy@xxxxxxxx> wrote:
> On 10/20/09 07:16, Jeremy Fitzhardinge wrote:
>> Looks OK. One thing: if it's using __copy_to_guest, should it first
>> test the handle with guest_handle_okay()?
>>
>
> Oh, I see it happens at the hypercall. I guess the results of the test
> can't be invalidated.
Indeed. Also your original patch used __copy_to_guest.
-- Keir
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
|
|
|
|