freebsd-skq/sys/arm
Svatopluk Kraus acf4dc71d6 Flush intermediate TLB cache when L2 page table is unlinked.
This fixes an issue observed on Cortex A7 (RPi2) and on Cortex A15
(Jetson TK1) causing various memory corruptions. It turned out that
even L2 page table with no valid mapping might be a subject of such
caching.

Note that not all platforms have intermediate TLB caching implemented.
An open question is if this fix is sufficient for all platforms with
this feature.

Approved by:	kib (mentor)
2015-12-15 13:17:40 +00:00
..
allwinner Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of 2015-12-14 01:09:25 +00:00
altera/socfpga Create device options for the two common ARM timers. 2015-11-21 16:23:56 +00:00
amlogic/aml8726 Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of 2015-12-14 01:09:25 +00:00
annapurna/alpine Move more bus_space_* files to be built by files.arm. This leaves the 2015-11-21 15:30:08 +00:00
arm Flush intermediate TLB cache when L2 page table is unlinked. 2015-12-15 13:17:40 +00:00
at91 Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of 2015-12-14 01:09:25 +00:00
broadcom/bcm2835 Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of 2015-12-14 01:09:25 +00:00
cavium/cns11xx Move more bus_space_* files to be built by files.arm. This leaves the 2015-11-21 15:30:08 +00:00
conf ARM: option PPC_PROBE_CHIPSET is applicable only for x86. Don't enable it 2015-12-15 12:51:58 +00:00
freescale Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of 2015-12-14 01:09:25 +00:00
include ARM: Remove outdated katelib.h. 2015-12-15 12:52:45 +00:00
lpc Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of 2015-12-14 01:09:25 +00:00
mv Move more bus_space_* files to be built by files.arm. This leaves the 2015-11-21 15:30:08 +00:00
qemu Create device options for the two common ARM timers. 2015-11-21 16:23:56 +00:00
rockchip Create device options for the two common ARM timers. 2015-11-21 16:23:56 +00:00
samsung/exynos Add support for exynos5_ehci in loader 2015-11-27 18:22:04 +00:00
ti Move the DRIVER_MODULE() statements that declare mmc(4) to be a child of 2015-12-14 01:09:25 +00:00
versatile Move more bus_space_* files to be built by files.arm. This leaves the 2015-11-21 15:30:08 +00:00
xilinx Create device options for the two common ARM timers. 2015-11-21 16:23:56 +00:00
xscale Move more bus_space_* files to be built by files.arm. This leaves the 2015-11-21 15:30:08 +00:00