board/raspberrypi/rpi/Kconfig

   1 if SYS_BOARD = "rpi"
   2
   3 config RPI_EFI_NR_SPIN_PAGES
   4         int "Spin table page count"
   5         default 1
   6         help
   7           Number of pages to reserve starting at page 0 for spin tables in the EFI
   8           memory map
   9
  10 endif