[PATCH 2/2] rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES

[Matthias Brugger]

On 26/02/2020 22:39, kevans at FreeBSD.org wrote:
> From: Kyle Evans <kevans at 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 at FreeBSD.org>
> ---

Queued now for rpi-next

Sorry for the far to long delay

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