Kyle Evans c6badda85c rpi: Kconfig option for initial page reservation ... While the nearly-universal default for the Raspberry Pi family is to use spin tables and the spin table implementation provided by the Raspberry Pi Foundation, FreeBSD and others may use a PSCI implementation instead. Accommodate these setups by allowing them to configure for more than one page to be reserved in the initial reservation. The default reservation remains as one page. Signed-off-by: Kyle Evans <kevans@FreeBSD.org> Signed-off-by: Matthias Brugger <mbrugger@suse.com>		2020-05-13 14:04:49 +02:00
..
include/mach	ARM: bcm283x: Move BCM283x_BASE to a global variable	2019-11-24 10:46:27 +01:00
init.c	rpi4: Update memory map to accommodate scb devices	2020-01-29 18:30:33 +01:00
Kconfig	rpi: Kconfig option for initial page reservation	2020-05-13 14:04:49 +02:00
lowlevel_init.S	SPDX: Convert all of our single license tags to Linux Kernel style	2018-05-07 09:34:12 -04:00
Makefile	SPDX: Convert all of our single license tags to Linux Kernel style	2018-05-07 09:34:12 -04:00
mbox.c	common: Move ARM cache operations out of common.h	2019-12-02 18:24:58 -05:00
msg.c	SPDX: Convert all of our single license tags to Linux Kernel style	2018-05-07 09:34:12 -04:00
phys2bus.c	SPDX: Convert all of our single license tags to Linux Kernel style	2018-05-07 09:34:12 -04:00
reset.c	common: Move reset_cpu() to the CPU header	2020-01-17 14:02:31 -05:00