Andrew Turner fc0804f18b Fix reboot command on the Raspberry Pi series. ... The Raspbery Pi computers do not properly implement PSCI. The canonical way to reset them is to set a watchdog timer and allow it to expire. Submitted by: Robert Crowston <crowston_protonmail.com> Differential Revision: https://reviews.freebsd.org/D25268		2020-06-22 08:12:21 +00:00
..
bcm283x_dwc_fdt.c
bcm2835_audio.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
bcm2835_bsc.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
bcm2835_bscreg.h
bcm2835_bscvar.h
bcm2835_clkman.c
bcm2835_clkman.h
bcm2835_cpufreq.c	raspberry pi 4: cpufreq support	2020-06-20 04:07:58 +00:00
bcm2835_dma.c
bcm2835_dma.h
bcm2835_fb.c
bcm2835_fbd.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
bcm2835_ft5406.c
bcm2835_gpio.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
bcm2835_intr.c
bcm2835_machdep.c
bcm2835_mbox_prop.h
bcm2835_mbox.c
bcm2835_mbox.h
bcm2835_pwm.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
bcm2835_rng.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
bcm2835_sdhci.c
bcm2835_sdhost.c
bcm2835_spi.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
bcm2835_spireg.h
bcm2835_spivar.h
bcm2835_systimer.c
bcm2835_vcbus.c	bcm2835_vcbus: unifdef all platform definitions	2020-01-17 21:39:28 +00:00
bcm2835_vcbus.h
bcm2835_vcio.c
bcm2835_wdog.c	Fix reboot command on the Raspberry Pi series.	2020-06-22 08:12:21 +00:00
bcm2835_wdog.h
bcm2836_mp.c
bcm2836_mp.h
bcm2836.c
files.bcm283x
files.bcm2835
files.bcm2836
std.bcm2835
std.bcm2836
std.rpi
vc_vchi_audioserv_defs.h