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>
This commit is contained in:
Kyle Evans 2020-02-26 15:39:10 -06:00 committed by Matthias Brugger
parent c6badda85c
commit 82aef6c6f8

View file

@ -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;