diff --git a/sys/arm/ti/ti_smc.S b/sys/arm/ti/ti_smc.S
index c74f4e725626..ec1c637d7759 100644
--- a/sys/arm/ti/ti_smc.S
+++ b/sys/arm/ti/ti_smc.S
@@ -26,6 +26,8 @@
 #include <machine/asm.h>
 __FBSDID("$FreeBSD$");
 
+.arch armv7a
+
 /* Issue a smc #0 call */
 /* r0 and r1 contains the eventual arguments, r2 contains the function ID */
 ENTRY(ti_smc0)