From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v2 4/8] tools: arm: rearrange guest physical address space to increase max RAM Date: Fri, 25 Apr 2014 13:14:45 +0100 Message-ID: <535A51B5.7000703@linaro.org> References: <1398424945.18537.424.camel@kazak.uk.xensource.com> <1398424967-9306-4-git-send-email-ian.campbell@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1398424967-9306-4-git-send-email-ian.campbell@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Campbell , xen-devel@lists.xen.org Cc: ian.jackson@eu.citrix.com, tim@xen.org, stefano.stabellini@eu.citrix.com List-Id: xen-devel@lists.xenproject.org Hi Ian, On 25/04/14 12:22, Ian Campbell wrote: > By switching things around we can manage to expose up to 3GB of RAM to guests. > > I deliberately didn't place the RAM at address 0 to avoid coming to rely on > this, so the various peripherals, MMIO and magic pages etc all live in the > lower 1GB leaving the upper 3GB available for RAM. > > It would likely have been possible to reduce the space used by the peripherals > etc and allow for 3.5 or 3.75GB but I decided to keep things simple and will > handle >3GB memory in a subsequent patch. I guess I will have to rework the layout when device assignment will be added. In any case: Acked-by: Julien Grall > Signed-off-by: Ian Campbell > --- > xen/include/public/arch-arm.h | 18 +++++++++--------- > 1 file changed, 9 insertions(+), 9 deletions(-) > > diff --git a/xen/include/public/arch-arm.h b/xen/include/public/arch-arm.h > index a94d16b..4149d6f 100644 > --- a/xen/include/public/arch-arm.h > +++ b/xen/include/public/arch-arm.h > @@ -364,18 +364,18 @@ typedef uint64_t xen_callback_t; > */ > > /* Physical Address Space */ > -#define GUEST_GICD_BASE 0x2c001000ULL > -#define GUEST_GICD_SIZE 0x1000ULL > -#define GUEST_GICC_BASE 0x2c002000ULL > -#define GUEST_GICC_SIZE 0x100ULL > +#define GUEST_GICD_BASE 0x03001000ULL > +#define GUEST_GICD_SIZE 0x00001000ULL > +#define GUEST_GICC_BASE 0x03002000ULL > +#define GUEST_GICC_SIZE 0x00000100ULL > > -#define GUEST_RAM_BASE 0x80000000ULL /* 768M @ 2GB */ > -#define GUEST_RAM_SIZE 0x30000000ULL > - > -#define GUEST_GNTTAB_BASE 0xb0000000ULL > +#define GUEST_GNTTAB_BASE 0x38000000ULL > #define GUEST_GNTTAB_SIZE 0x00020000ULL > > -#define GUEST_MAGIC_BASE 0xc0000000ULL > +#define GUEST_MAGIC_BASE 0x39000000ULL > + > +#define GUEST_RAM_BASE 0x40000000ULL /* 3GB of RAM @ 1GB */ > +#define GUEST_RAM_SIZE 0xc0000000ULL > > /* Interrupts */ > #define GUEST_TIMER_VIRT_PPI 27 > -- Julien Grall