Revert removal of configFPU_D32

Author: kar-rahul-aws

portable/GCC/ARM_CRx_No_GIC/port.c

@@ -82,7 +82,11 @@
 #endif
 
 /* The space on the stack required to hold the FPU registers. */
-#define portFPU_REGISTER_WORDS     ( ( 16 * 2 ) + 1 ) /* D0-D15 and FPSCR. */
+#if ( configFPU_D32 == 1 )
+    #define portFPU_REGISTER_WORDS     ( ( 32 * 2 ) + 1 ) /* D0-D31 and FPSCR. */
+#else
+    #define portFPU_REGISTER_WORDS     ( ( 16 * 2 ) + 1 ) /* D0-D15 and FPSCR. */
+#endif /* configFPU_D32 */
 
 /*-----------------------------------------------------------*/
 

portable/GCC/ARM_CRx_No_GIC/portASM.S

@@ -80,6 +80,9 @@
     /* Save the floating point context, if any. */
     VMRSNE  R1,  FPSCR
     VPUSHNE {D0-D15}
+#if configFPU_D32 == 1
+    VPUSHNE {D16-D31}
+#endif /* configFPU_D32 */
     PUSHNE  {R1}
 
     /* Save ulPortTaskHasFPUContext itself. */

portable/GCC/ARM_CRx_No_GIC/portmacro.h

@@ -150,7 +150,7 @@ UBaseType_t ulPortCountLeadingZeros( UBaseType_t ulBitmap );
     void vPortTaskUsesFPU( void );
 #else
     /* Each task has an FPU context already, so define this function as a
-     *no-op. */
+     * no-op. */
     #define vPortTaskUsesFPU()
 #endif
 #define portTASK_USES_FLOATING_POINT()    vPortTaskUsesFPU()