|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
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
 
 |   
 
 | 
    | 
  
  
    |   | 
    |