[GitHub] [incubator-nuttx] gustavonihei opened a new pull request, #7447: xtensa: Define COMMON_CTX_REGS for chips without FPU (e.g. ESP32-S2)

[GitBox]

gustavonihei opened a new pull request, #7447:
URL: https://github.com/apache/incubator-nuttx/pull/7447

   ## Summary
   This PR intends to fix `CONFIG_DEBUG_TCBINFO` support for chips that don't 
provide an FPU due to missing definition of `COMMON_CTX_REGS`.
   
   ```shell
   common/xtensa_tcbinfo.c:67:16: error: 'COMMON_CTX_REGS' undeclared here (not 
in a function); did you mean 'CURRENT_REGS'?                                    
                                                                                
                                             
      .basic_num = COMMON_CTX_REGS,                                             
                                                                                
                                                                                
                                             
                   ^~~~~~~~~~~~~~~                                              
                                                                                
                                                                                
                                             
                   CURRENT_REGS                                                 
                                                                                
                                                                                
                                             
   CC:  misc/lib_usub64x32.c                                                    
                                                                                
                                                                                
                                             
   make[1]: *** [Makefile:121: xtensa_tcbinfo.o] Error 1
   ```
   
   ## Impact
   This patch fixes NuttX-aware debugging on *ESP32-S2*.
   
   ## Testing
   CI build pass and local debugging with GDB.
   
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org