Good morning Gaurav,
adding MPU_pvPortMalloc() and MPU_vPortFree() solve my issue in a much cleaner way!
To complete my reply, I had to change a little bit the implementation of prvRaisePrivilege(). Because the implementation done by TI always force the switching into System mode!
I added a simple check, to only switch into System mode when CPU is in User mode (as MPU_vPortFree() / MPU_pvPortMalloc() may be called for IRQ mode)
Thanks a lot for your time and your support
Best regards
Fabrice