diff --git a/lib/vf6xx/vector_chipset.c b/lib/vf6xx/vector_chipset.c
index 476960c7..1c377015 100644
--- a/lib/vf6xx/vector_chipset.c
+++ b/lib/vf6xx/vector_chipset.c
@@ -27,7 +27,7 @@ static inline void pre_main(void)
 	 * For Vybrid we need to set the stack pointer manually
 	 * since the boot ROM has its own stack
 	 */
-	asm (	\
+	__asm__ (	\
 		"ldr sp,=_stack;" \
 	    );