Merge branch 'main' into main

This commit is contained in:
Joseph Julicher 2024-09-09 13:47:19 -07:00 committed by GitHub
commit 2d138ab417
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -666,11 +666,13 @@ static BaseType_t prvCheckValidityOfVectorNumber( uint32_t ulVectorNumber )
/* In use by FreeRTOS. */
xReturn = pdFAIL;
}
#if ( configUSE_COMMON_INTERRUPT_ENTRY_POINT == 1 )
else if( xInterruptHandlerTable[ ulVectorNumber ] != NULL )
{
/* Already in use by the application. */
xReturn = pdFAIL;
}
#endif /* configUSE_COMMON_INTERRUPT_ENTRY_POINT */
else
{
xReturn = pdPASS;