[Feature Request] PIC32 port, implement xPortIsInsideInterrupt #1298
Description
There is no xPortIsInsideInterrupt implemented for PIC32 ports.
There is a uxInterruptNesting but it is not clear its usage:
extern volatile UBaseType_t uxInterruptNesting;