Re: [patch] wrong tlb flush order

Avi Kivity wrote:
> Shaohua Li wrote:
> > Sounds like a obvious bug to me. Other places doing tlb flush do the
right
> > thing. 
> > 
> 
> Right.  Applied, thanks.

BTW,

The current VMX code does not make sense to me:

static void vmx_flush_tlb(struct kvm_vcpu *vcpu)
{
        vmcs_writel(GUEST_CR3, vmcs_readl(GUEST_CR3));
}

Jun
---
Intel Open Source Technology Center

-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/