[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH 06/10] x86/mm: only a single instance of gw_page_flags[] is needed

To: Jan Beulich <JBeulich@xxxxxxxx>, xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>
From: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
Date: Tue, 20 Oct 2015 14:00:12 +0100
Cc: George Dunlap <George.Dunlap@xxxxxxxxxxxxx>, Keir Fraser <keir@xxxxxxx>
Delivery-date: Tue, 20 Oct 2015 13:00:36 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

On 20/10/15 11:42, Jan Beulich wrote:
> None of its elements depends on GUEST_PAGING_LEVELS.
>
> Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>

Reviewed-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>

If you do end up making a common.c (as suggested in patch 5), then this
is also a candidate to move, to avoid further issues with multiple
compilations.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel

References:
- [Xen-devel] [PATCH 00/10] disambiguate symbol names
  - From: Jan Beulich
- [Xen-devel] [PATCH 06/10] x86/mm: only a single instance of gw_page_flags[] is needed
  - From: Jan Beulich

Prev by Date: Re: [Xen-devel] [PATCH v3 2/3] xen, cpu_hotplug: call device_offline instead of cpu_down
Next by Date: Re: [Xen-devel] [PATCH 02/10] x86/mm: override stored file names for multiply built sources
Previous by thread: [Xen-devel] [PATCH 06/10] x86/mm: only a single instance of gw_page_flags[] is needed
Next by thread: [Xen-devel] [PATCH 07/10] x86/shadow: only a single instance of fetch_type_names[] is needed
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.