freebsd-skq/sys/arm
Zbigniew Bodek fd31d8bb75 Fix context switch on PJ4Bv7 and remove obsolete pj4b_/arm11 functions
Use armv7_setttb that sets proper PT attributes.
Get rid of unused CPU functions, put nullop instead.
Exchange obsolete pj4b_/arm11_ functions to the appropriate armv7_ ones.
2014-05-25 18:47:24 +00:00
..
allwinner Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
arm Fix context switch on PJ4Bv7 and remove obsolete pj4b_/arm11 functions 2014-05-25 18:47:24 +00:00
at91 When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00
broadcom/bcm2835 Optimise reading of pending interrupt registers. If there are no 2014-05-20 15:03:23 +00:00
cavium/cns11xx When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00
conf Reduce the diff between the PandaBoard and BeableBone kernel configs to 2014-05-25 10:17:26 +00:00
freescale Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
include Eliminate one of the causes of spurious interrupts on armv6. The arm weak 2014-05-24 16:21:16 +00:00
lpc Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
mv Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
rockchip Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
s3c2xx0 When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00
samsung/exynos Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
tegra Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
ti Make ti_padconf_devmap static in both places it is defined. 2014-05-25 10:56:45 +00:00
versatile Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
xilinx Add the start of the ARM platform code. This is based on the PowerPC 2014-05-17 11:27:36 +00:00
xscale When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE. 2014-05-10 20:03:03 +00:00