Avi Kivity wrote:
> Mohammed Gamal wrote:
>
> I think they're fine.  Can you check the vmentry patch now, with 
> Anthony's testcase?

The following patch makes the problem almost 100% reproducible on my 
system.  This strongly suggests a timing issue.

Regards,

Anthony Liguori