From mboxrd@z Thu Jan  1 00:00:00 1970
From: Emre Can Sezer <ecsezer@ncsu.edu>
Subject: Re: Two shadow page tables for HVM
Date: Tue, 27 Jan 2009 14:07:56 -0500
Message-ID: <497F5B8C.7030107@ncsu.edu>
References: <494985DF.9040701@ncsu.edu>
	<20081218113225.GN460@york.uk.xensource.com>
	<494FC8C7.8030508@ncsu.edu>
	<20081223161006.GB28336@york.uk.xensource.com>
	<4958F7E0.8050207@ncsu.edu>
	<20081229165415.GB5734@york.uk.xensource.com>
	<4967CAFB.7090907@ncsu.edu>
	<20090112094609.GN12729@york.uk.xensource.com>
	<497E57AC.1090508@ncsu.edu>
	<20090127103413.GB990@york.uk.xensource.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xensource.com>
In-Reply-To: <20090127103413.GB990@york.uk.xensource.com>
List-Unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: Tim Deegan <Tim.Deegan@citrix.com>
Cc: Xen Devel <xen-devel@lists.xensource.com>
List-Id: xen-devel@lists.xenproject.org


> That is what I would expect.  If you're not seeing that then either the
> TLB's not being flushed or your shadows are leaking from one mode to
> another.
Doesn't changing paging modes set and update the guest cr3 resulting in 
a guest TLB flush?  I would like to manually flush them if there is a 
way but I'm hopelessly confused about the tlbflush functions in 
tlbflush.h.  Which one do I call to flush guest TLBs?