From mboxrd@z Thu Jan  1 00:00:00 1970
From: Avi Kivity <avi@redhat.com>
Subject: Re: Shadow page table questions
Date: Sat, 13 Mar 2010 10:51:49 +0200
Message-ID: <4B9B5225.2050604@redhat.com>
References: <4B9726A7.7000800@csail.mit.edu> <4B976AA8.9030904@redhat.com> <4B9833EE.1070705@csail.mit.edu> <4B989035.4050109@redhat.com> <4B9916DE.30209@csail.mit.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Cc: kvm@vger.kernel.org
To: Marek Olszewski <mareko@csail.mit.edu>
Return-path: <kvm-owner@vger.kernel.org>
Received: from mx1.redhat.com ([209.132.183.28]:60968 "EHLO mx1.redhat.com"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S933152Ab0CMIv5 (ORCPT <rfc822;kvm@vger.kernel.org>);
	Sat, 13 Mar 2010 03:51:57 -0500
In-Reply-To: <4B9916DE.30209@csail.mit.edu>
Sender: kvm-owner@vger.kernel.org
List-ID: <kvm.vger.kernel.org>

On 03/11/2010 06:14 PM, Marek Olszewski wrote:
>> It doesn't, and there are often multiple shadow pages per guest page, 
>> distinguished by their sp->role field. 
> Oh, great!  Does this mean that there is already a mechanism for 
> synchronizing all shadow pages shadowing the same guest when such a 
> guest page changes?

Yes, kvm_mmu_pte_write().

-- 
Do not meddle in the internals of kernels, for they are subtle and quick to panic.