tree 44aaf561a3b9da819b3f0bb7b5b653e92587216a
parent 23c43df854b14cf49231e84c0161a4485b5613a2
author Nicolas Pitre <nicolas.pitre@linaro.org> 1378744264 -0400
committer Olof Johansson <olof@lixom.net> 1378773500 -0700

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>