arch/xtensa: Fix ESP32 cpu interrupt range issue. The range is 0 ~ 31, not 0 ~ 4.
The range of ESP32 CPU interrupt is 0 ~ 31, not 0 ~ 4.
@@ -555,7 +555,7 @@ void esp32_free_cpuint(int cpuint)
uint32_t *freeints;
uint32_t bitmask;
- DEBUGASSERT(cpuint >= 0 && cpuint < ESP32_CPUINT_NEDGEPERIPHS);
+ DEBUGASSERT(cpuint >= 0 && cpuint < ESP32_NCPUINTS);
/* Mark the CPU interrupt as available */
