[2/2] rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES
diff mbox series

Message ID 20200226213910.37883-1-kevans@FreeBSD.org
State New
Delegated to: Matthias Brugger
Headers show
Series
  • Untitled series #161056
Related show

Commit Message

Kyle Evans Feb. 26, 2020, 9:39 p.m. UTC
From: Kyle Evans <kevans@FreeBSD.org>

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>
---
 board/raspberrypi/rpi/rpi.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

Patch
diff mbox series

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;