Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 3412e8449ffca52d5d7d869c12d18218b51f38e9)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 28f81d21b72a50937dbe859ee4068d0920861718)
@@ -172,5 +172,5 @@
 //		"vmrs r2, fpexc\n"
 		"stm %0, {r1, r2}\n"
-		"vstm %0, {d0, d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13, d14, d15}\n"
+		"vstm %0, {d0-d15}\n"
 		::"r" (ctx): "r1","r2","memory"
 	);
@@ -184,5 +184,5 @@
 		"vmsr fpscr, r1\n"
 //		"vmsr fpexc, r2\n"
-		"vldm %0, {d0, d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13, d14, d15}\n"
+		"vldm %0, {d0-d15}\n"
 		::"r" (ctx): "r1","r2"
 	);