diff options
author | Kyle Evans <kevans@FreeBSD.org> | 2020-02-26 15:39:10 -0600 |
---|---|---|
committer | Matthias Brugger <mbrugger@suse.com> | 2020-05-13 14:04:50 +0200 |
commit | 82aef6c6f8a74a0595501bfbb2f6f763c786324f (patch) | |
tree | cea30f33ef9ab4f4aabea9974b74036c71021960 /board/raspberrypi/rpi | |
parent | c6badda85c6f29904aa8f55c508921d38b93cc60 (diff) |
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>
Diffstat (limited to 'board/raspberrypi/rpi')
-rw-r--r-- | board/raspberrypi/rpi/rpi.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/board/raspberrypi/rpi/rpi.c b/board/raspberrypi/rpi/rpi.c index e367ba3092..0206a093d4 100644 --- a/board/raspberrypi/rpi/rpi.c +++ b/board/raspberrypi/rpi/rpi.c @@ -489,7 +489,8 @@ int ft_board_setup(void *blob, bd_t *bd) #ifdef CONFIG_EFI_LOADER /* Reserve the spin table */ - efi_add_memory_map(0, 1, EFI_RESERVED_MEMORY_TYPE, 0); + efi_add_memory_map(0, CONFIG_RPI_EFI_NR_SPIN_PAGES, + EFI_RESERVED_MEMORY_TYPE, 0); #endif return 0; |