freebsd-dev/sys/arm/rockchip
Svatopluk Kraus 7758916f44 Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms.
Only L2 PIPT cache is supported for __ARM_ARCH >= 6.

In fact, this is just a pure proclamation as this option is used
only in armv4 specific files now.
2016-02-22 11:47:28 +00:00
..
files.rk30xx Create device options for the two common ARM timers. 2015-11-21 16:23:56 +00:00
rk30xx_common.c Stop defining fdt_pic_table when building for ARM_INTRNG. 2016-02-11 11:49:27 +00:00
rk30xx_gpio.c
rk30xx_grf.c
rk30xx_grf.h
rk30xx_machdep.c
rk30xx_mp.c ARM: Use new ARMv6 naming conventions for cache and TLB functions 2016-02-05 14:57:41 +00:00
rk30xx_pmu.c
rk30xx_pmu.h
rk30xx_wdog.c
rk30xx_wdog.h
std.rk30xx Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms. 2016-02-22 11:47:28 +00:00