[PATCH] ARM: vexpress: allow dcscb and tc2_pm in a combined ARMv6+v7 build

[Olof Johansson]

On Mon, Sep 09, 2013 at 12:31:04PM -0400, Nicolas Pitre wrote:
> 
> 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 at roeck-us.net>
> Signed-off-by: Nicolas Pitre <nico at linaro.org>


Applied to fixes. thanks!


-Olof