In '/ti/drv/ipc/src/ipc_osal.c', Ipc_osalMutexCreate(void) is creating mutex with Semaphore and it has a comment saying it uses BINARY mode.

However, the semaphore params used for creation takes the default value, which is COUNTING mode.

 When the "RPMessage_recvNb()" is used, the Mutex count would overflow because this API doesn’t lock Mutex and "RPMessage_enqueMsg()" would unlock Mutex every time.

Eventually, the semaphore count would overflow.