[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-devel] Re: [PATCH v2] Allow guests to register secondary vcpu_time_info

  • To: Jeremy Fitzhardinge <jeremy@xxxxxxxx>
  • From: Keir Fraser <keir.fraser@xxxxxxxxxxxxx>
  • Date: Tue, 20 Oct 2009 08:31:24 +0100
  • Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxx>
  • Delivery-date: Tue, 20 Oct 2009 00:32:03 -0700
  • List-id: Xen developer discussion <xen-devel.lists.xensource.com>
  • Thread-index: AcpRFsk+CklGRSw2Rz+KaO7dx19l2gAQIpZm
  • Thread-topic: [PATCH v2] Allow guests to register secondary vcpu_time_info
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

 

©2013 Xen Project, A Linux Foundation Collaborative Project. All Rights Reserved.
Linux Foundation is a registered trademark of The Linux Foundation.
Xen Project is a trademark of The Linux Foundation.

Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.