Verify EXL bit only

kstribrnAmzn · kstribrnAmzn · commit 3bfd03b2011b · 2025-11-26T13:20:37.000-08:00
diff --git a/portable/MPLAB/PIC32MZ/port.c b/portable/MPLAB/PIC32MZ/port.c
@@ -382,7 +382,7 @@ portFORCE_INLINE BaseType_t xPortIsInsideInterrupt( void )
     /* Obtain the number of the currently executing interrupt. */
     __asm volatile("mfc0 %0, $12" : "=r" (ulCurrentInterrupt));
 
-    if( ulCurrentInterrupt == 0 )
+    if( ( ulCurrentInterrupt &&  portEXL_BIT ) !=  0U )
     {
         xReturn = pdFALSE;
     }

Original file line number	Diff line number	Diff line change
`@@ -382,7 +382,7 @@ portFORCE_INLINE BaseType_t xPortIsInsideInterrupt( void )`
`382`	`382`	`/* Obtain the number of the currently executing interrupt. */`
`383`	`383`	`__asm volatile("mfc0 %0, $12" : "=r" (ulCurrentInterrupt));`
`384`	`384`
`385`		`- if( ulCurrentInterrupt == 0 )`
	`385`	`+ if( ( ulCurrentInterrupt && portEXL_BIT ) != 0U )`
`386`	`386`	`{`
`387`	`387`	`xReturn = pdFALSE;`
`388`	`388`	`}`