From mboxrd@z Thu Jan 1 00:00:00 1970 From: Attilio Rao Subject: [PATCH 0/2] Document pagetable_reserve PVOP and enforce a better semantic Date: Fri, 10 Aug 2012 15:17:05 +0100 Message-ID: <1344608227-30910-1-git-send-email-attilio.rao@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: xen-devel@lists.xen.org, Stefano Stabellini , Konrad Rzeszutek Wilk Cc: Attilio Rao List-Id: xen-devel@lists.xenproject.org When looking for documenting the pagetable_reserve PVOP, I realized that it assumes start == pgt_buf_start. I think this is not semantically right (even if with the current code this should not be a problem in practice) and what we really want is to extend the logic in order to do the RO -> RW convertion also for the range [pgt_buf_start, start). This patch then implements this missing conversion, adding some smaller cleanups and finally provides documentation for the PVOP. Please look at 2/2 for more details on how the comment is structured. If we get this right we will have a reference to be used later on for others PVOPs. A preliminary version of this patch has been already reviewed by Stefano Stabellini. Attilio Rao (2): XEN, X86: Improve semantic support for pagetable_reserve PVOP Document the semantic of the pagetable_reserve PVOP arch/x86/include/asm/x86_init.h | 19 +++++++++++++++++-- arch/x86/mm/init.c | 4 ++++ arch/x86/xen/mmu.c | 22 ++++++++++++++++++++-- 3 files changed, 41 insertions(+), 4 deletions(-) -- 1.7.2.5