X-Git-Url: https://gerrit.opnfv.org/gerrit/gitweb?a=blobdiff_plain;f=kernel%2Farch%2Farm%2Fmach-socfpga%2Fheadsmp.S;fp=kernel%2Farch%2Farm%2Fmach-socfpga%2Fheadsmp.S;h=c160fa3007e943be451b82318149a69dce4d7e54;hb=52f993b8e89487ec9ee15a7fb4979e0f09a45b27;hp=5d94b7a2fb108dc1bc1c5fcdd4edfa80ab2c0c7f;hpb=c189ccac5702322ed843fe17057035b7222a59b6;p=kvmfornfv.git

diff --git a/kernel/arch/arm/mach-socfpga/headsmp.S b/kernel/arch/arm/mach-socfpga/headsmp.S
index 5d94b7a2f..c160fa300 100644
--- a/kernel/arch/arm/mach-socfpga/headsmp.S
+++ b/kernel/arch/arm/mach-socfpga/headsmp.S
@@ -13,6 +13,7 @@
 #include <asm/assembler.h>
 
 	.arch	armv7-a
+	.arm
 
 ENTRY(secondary_trampoline)
 	/* CPU1 will always fetch from 0x0 when it is brought out of reset.