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

[Jeremy Fitzhardinge <jeremy@xxxxxxxx>]

On 10/19/09 20:02, Keir Fraser wrote:
> On 16/10/2009 15:34, "Jeremy Fitzhardinge" <jeremy@xxxxxxxx> wrote:
>
>   
>> On 10/12/09 14:08, Keir Fraser wrote:
>>     
>>> You'll send me a simplified version of this that doesn't need to support
>>> guest update of the version field, right?
>>>   
>>>       
>> Here's the simplified version.  But I'm wondering if it should do the
>> proper version update with write barriers to make it the same as the
>> normal vcpu_time_info update protocol.
>>     
> I fixed this and applied as c/s 20339. Take a look.
>   

Looks OK.  One thing: if it's using __copy_to_guest, should it first
test the handle with guest_handle_okay()?

    J

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel