Hi Julien, On Mon, 2020-05-18 at 12:30 +0100, Julien Grall wrote: > From: Julien Grall <jgr...@amazon.com> > > The raspberry PI 4 has devices that can only DMA into the first GB of > the RAM. Therefore we want allocate as much as possible memory below 1GB > for dom0. > > Use the recently introduced dma_bitsize field to specify the DMA width > supported. > > Signed-off-by: Julien Grall <jgr...@amazon.com> > Reported-by: Corey Minyard <miny...@acm.org> > --- > xen/arch/arm/platforms/brcm-raspberry-pi.c | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/xen/arch/arm/platforms/brcm-raspberry-pi.c > b/xen/arch/arm/platforms/brcm-raspberry-pi.c > index b697fa2c6c0e..ad5483437b31 100644 > --- a/xen/arch/arm/platforms/brcm-raspberry-pi.c > +++ b/xen/arch/arm/platforms/brcm-raspberry-pi.c > @@ -43,6 +43,7 @@ static const struct dt_device_match rpi4_blacklist_dev[] > __initconst = > PLATFORM_START(rpi4, "Raspberry Pi 4") > .compatible = rpi4_dt_compat, > .blacklist_dev = rpi4_blacklist_dev, > + .dma_bitsize = 10,
I'm confused. Should it be 30? > PLATFORM_END > > /*