[<prev] [next>] [day] [month] [year] [list]
Message-ID: <1345121976-11169-1-git-send-email-attilio.rao@citrix.com>
Date: Thu, 16 Aug 2012 13:59:34 +0100
From: Attilio Rao <attilio.rao@...rix.com>
To: <linux-kernel@...r.kernel.org>, <x86@...nel.org>,
Ingo Molnar <mingo@...hat.com>,
"H. Peter Anvin" <hpa@...or.com>,
Thomas Gleixner <tglx@...utronix.de>
CC: Konrad Rzeszutek Wilk <konrad.wilk@...cle.com>,
Stefano Stabellini <stefano.stabellini@...citrix.com>,
Attilio Rao <attilio.rao@...rix.com>
Subject: [PATCH v2 0/2] XEN/X86: Document pagetable_reserve PVOPS and enforce a better semantic
When looking for documenting the pagetable_reserve PVOPS, 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 PVOPS.
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.
The difference with v1 is that sh_start local variable in
xen_mapping_pagetable_reserve() is renamed as begin. Also, the commit messages
have been tweaked.
Attilio Rao (2):
XEN, X86: Improve semantic support for pagetable_reserve PVOPS
Xen: Document the semantic of the pagetable_reserve PVOPS
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
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists