|
|
|
|
|
|
|
|
|
|
xen-devel
[Xen-devel] Re: [PATCH v2] Allow guests to register secondary vcpu_time_
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
|
|
|
|
|