A customer of mine reported a crash in their application. After some investigation I think the problem is coming from some instruction errors as shown in the S32DS IDE file NXP/BSP/Startup/MPC5748G/gnu/interrupt_vectors.S in IVOR4X_Handler, the code snip is:
e_lis r11,OS_CPU_ISRNestingCtr@ha # Increment the ISR nesting counter to reflect the current nesting level.
e_or2i r11,OS_CPU_ISRNestingCtr@l # ...
e_lwz r12,0(r11) # ...
e_add2i. r12,1 # ...
e_stw r12,0(r11) # ...
It seems e_lis with the @ha notation followed by e_or2i with the @l notation is wrong. A possible solution is to use the @h notation in the first instruction (e_lis r11,OS_CPU_ISRNestingCtr@ha ). I noticed the error is repeated in IntStkInUse and OSIntCtxSw. I did not search other files for similar problems.