This API RPMessage_getRemoteEndPtToken in file ipc_api.c file allocates the taskWaited from the global pool of task waiter objects. but this allocation is not protected. 

In case of SafeRTOS, which uses round robin scheduling policy for equal priority tasks, this can potentially corrupt IPC waiting tasks queue and can potentially cause hang in the IPC.