mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-04-20 05:21:59 -04:00
Rename ARM_CAx_No_GIC ARM_CA5_No_GIC and add FreeRTOSConfig setting to specify the number of registers in the FPU unit.
This commit is contained in:
parent
29336e35b5
commit
8ad9b75810
|
@ -80,7 +80,9 @@ portSAVE_CONTEXT macro
|
||||||
; Save the floating point context, if any
|
; Save the floating point context, if any
|
||||||
FMRXNE R1, FPSCR
|
FMRXNE R1, FPSCR
|
||||||
VPUSHNE {D0-D15}
|
VPUSHNE {D0-D15}
|
||||||
|
#if configFPU_D32 == 1
|
||||||
VPUSHNE {D16-D31}
|
VPUSHNE {D16-D31}
|
||||||
|
#endif ; configFPU_D32
|
||||||
PUSHNE {R1}
|
PUSHNE {R1}
|
||||||
|
|
||||||
; Save ulPortTaskHasFPUContext itself
|
; Save ulPortTaskHasFPUContext itself
|
||||||
|
@ -114,7 +116,9 @@ portRESTORE_CONTEXT macro
|
||||||
|
|
||||||
; Restore the floating point context, if any
|
; Restore the floating point context, if any
|
||||||
POPNE {R0}
|
POPNE {R0}
|
||||||
|
#if configFPU_D32 == 1
|
||||||
VPOPNE {D16-D31}
|
VPOPNE {D16-D31}
|
||||||
|
#endif ; configFPU_D32
|
||||||
VPOPNE {D0-D15}
|
VPOPNE {D0-D15}
|
||||||
VMSRNE FPSCR, R0
|
VMSRNE FPSCR, R0
|
||||||
|
|
Loading…
Reference in a new issue