So you are calling portENTER_CRITICAL() but interrupts remain enabled?
In the debugger registers window, can you expand the CPSR register and say what the I, F, T and mode bits are set to immediately before and immediately after calling portENTER_CRITICAL();
Mode is not changed when calling portENTER_CRITICAL() it remains in System Mode.
Mode = 0b11111
if I instead call EIC_IRQConfig( DISABLE ); then the interrupts are disabled. So maybe the __disable_interrupt() in the function portENTER_CRITICAL() has to be changed?
I just tried this on my STR712F. Stepping into the enter/exit critical section functions I can see the I bit in the status register change when the disable_interrupts and enable_interrupts intrinsic functions are called.
Have you changed any build options? Looking in the header files the intrinsic functions have several conditional compilations around them.