>>> On 13.11.18 at 20:04, <[email protected]> wrote:
> What do you consider "normal" here?

Would "ordinary" be better (I've used quotes exactly because I
couldn't think of anything better)? V{,U}COMIS{S,D} are the ones
not dealt with here.

> On 25/09/2018 14:32, Jan Beulich wrote:
>> Also correct the AVX counterpart's comment.
>>
>> Signed-off-by: Jan Beulich <[email protected]>
> 
> The content itself Acked-by: Andrew Cooper <[email protected]>,
> but preferably with a better description.

Thanks - let me know whether "normal" or "ordinary" or okay with
you, or what better suggestions you have.

Jan



_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to