From 3bfd03b2011b17a29988b1d06591fe395dce81a5 Mon Sep 17 00:00:00 2001
From: Kody Stribrny <kstribrn@amazon.com>
Date: Wed, 26 Nov 2025 13:20:37 -0800
Subject: [PATCH] Verify EXL bit only

---
 portable/MPLAB/PIC32MZ/port.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/portable/MPLAB/PIC32MZ/port.c b/portable/MPLAB/PIC32MZ/port.c
index f9a88fb60..9d179335e 100644
--- 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;
     }