Re: [Xen-devel] INVVPID question.

[Gianluca Guida <gianluca.guida@xxxxxxxxxxxxx>]

Keir Fraser wrote:
> The instruction reference manual explicitly states that it is not guaranteed
> to flush VPID 0 (but also says that it 'might'). Can't be relied on.
Yes, this is why I was asking about current implementation.

I've been recently playing with shadows and separate (guest/host) tlb 
flushing, and from what I've understood this is what is going on.
Since we use it in vmx_flush_guest_tlbs(), we could perhaps find a way, 
in case tlb flushing optimizations are important to fix this (e.g. using 
vpid_sync_vcpu_all() when current is defined and we're sure there are no 
other vpid-tagged entries in the processor tlb).
Gianluca


>  -- Keir
>
> On 28/04/2009 13:18, "Gianluca Guida" <gianluca.guida@xxxxxxxxxxxxx> wrote:
>
> > Hello,
> >
> > I have a simple question for the Intel EPT/VPID experts: do current
> > implementation of invvpid flushes also VPID 0 when 2 is the first
> > argument (as in vpid_sync_all() in Xen)?
> >
> > Thanks in advance,
> > Gianluca
> >
> > _______________________________________________
> > Xen-devel mailing list
> > Xen-devel@xxxxxxxxxxxxxxxxxxx
> > http://lists.xensource.com/xen-devel
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel