rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES
authorKyle Evans <kevans@FreeBSD.org>
Wed, 26 Feb 2020 21:39:10 +0000 (15:39 -0600)
committerMatthias Brugger <mbrugger@suse.com>
Wed, 13 May 2020 12:04:50 +0000 (14:04 +0200)
commit82aef6c6f8a74a0595501bfbb2f6f763c786324f
treecea30f33ef9ab4f4aabea9974b74036c71021960
parentc6badda85c6f29904aa8f55c508921d38b93cc60
rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES

Some systems may use a slightly larger stub to do PSCI for booting the RPi
family.  The number of pages has been made configurable so that operating
systems building U-Boot for use in these kinds of environments can reserve
more memory in the EFI memory map.

Signed-off-by: Kyle Evans <kevans@FreeBSD.org>
Signed-off-by: Matthias Brugger <mbrugger@suse.com>
board/raspberrypi/rpi/rpi.c