|
|
@@ -31,6 +31,9 @@ rt_uint8_t *rt_hw_stack_init(void *tentry, void *parameter,
|
|
|
rt_uint8_t *stack_addr, void *texit)
|
|
|
{
|
|
|
rt_uint32_t *stk;
|
|
|
+#ifdef RT_USING_FPU
|
|
|
+ rt_uint32_t i;
|
|
|
+#endif
|
|
|
|
|
|
stack_addr += sizeof(rt_uint32_t);
|
|
|
stack_addr = (rt_uint8_t *)RT_ALIGN_DOWN((rt_uint32_t)stack_addr, 8);
|
|
|
@@ -61,7 +64,15 @@ rt_uint8_t *rt_hw_stack_init(void *tentry, void *parameter,
|
|
|
*(--stk) = 0; /* user sp*/
|
|
|
#endif
|
|
|
#ifdef RT_USING_FPU
|
|
|
- *(--stk) = 0; /* not use fpu*/
|
|
|
+ /* FPU context initialization matches context_gcc.S restore order:
|
|
|
+ * Stack layout (high to low): FPEXC -> FPSCR -> D16-D31 -> D0-D15
|
|
|
+ */
|
|
|
+ for (i = 0; i < VFP_DATA_NR; i++)
|
|
|
+ {
|
|
|
+ *(--stk) = 0; /* Initialize D0-D31 (64 words for 32 double regs) */
|
|
|
+ }
|
|
|
+ *(--stk) = 0; /* FPSCR: Floating-Point Status and Control Register */
|
|
|
+ *(--stk) = 0x40000000; /* FPEXC: Enable FPU (bit 30 = EN) */
|
|
|
#endif
|
|
|
|
|
|
/* return task's current stack address */
|