Nicolas Pitre 3c78d113fb ARM: vexpress: allow dcscb and tc2_pm in a combined ARMv6+v7 build ... This fixes the following build error: /tmp/cce439dZ.s: Assembler messages: /tmp/cce439dZ.s:506: Error: selected processor does not support ARM mode `isb ' /tmp/cce439dZ.s:512: Error: selected processor does not support ARM mode `isb ' /tmp/cce439dZ.s:513: Error: selected processor does not support ARM mode `dsb ' /tmp/cce439dZ.s:583: Error: selected processor does not support ARM mode `isb ' /tmp/cce439dZ.s:589: Error: selected processor does not support ARM mode `isb ' /tmp/cce439dZ.s:590: Error: selected processor does not support ARM mode `dsb ' Tested-by: Guenter Roeck <linux@roeck-us.net> Signed-off-by: Nicolas Pitre <nico@linaro.org> Tested-by: Kevin Hilman <khilman@linaro.org> Signed-off-by: Olof Johansson <olof@lixom.net>		2013-09-09 17:38:20 -07:00
..
include/mach
core.h
ct-ca9x4.c
dcscb_setup.S
dcscb.c	ARM: vexpress/MCPM: fix cache disable sequence when CONFIG_FRAME_POINTER=y	2013-08-14 13:05:42 -07:00
hotplug.c
Kconfig	ARM: SoC platform changes for 3.12	2013-09-06 13:30:06 -07:00
Makefile	ARM: vexpress: allow dcscb and tc2_pm in a combined ARMv6+v7 build	2013-09-09 17:38:20 -07:00
platsmp.c
spc.c	ARM: vexpress/TC2: add Serial Power Controller (SPC) support	2013-08-07 14:55:24 +01:00
spc.h	ARM: vexpress/TC2: add Serial Power Controller (SPC) support	2013-08-07 14:55:24 +01:00
tc2_pm.c	ARM: SoC drivers for v3.12	2013-09-09 16:08:13 -07:00
v2m.c