question about MessageQ_alloc

Hi TI-friends,

rdk3.0, dm8168

I add "printf" in following inside System_ipcMsgQSendMsg() located in system_ipc_msgq.c under src_linux, 

printf("@@ 000\n");

OSA_mutexLock(&gSystem_ipcObj.msgQLock);

UTILS_assert( procId < SYSTEM_PROC_MAX);

pMsgCommon = (SystemIpcMsgQ_Msg *)MessageQ_alloc(
SYSTEM_IPC_MSGQ_HEAP,
sizeof(*pMsgCommon)+prmSize
);
printf("@@ 001\n");

and finally I found the messages is as below...and it hang

@@ 000
@@ 001
@@ 002
@@ 003
@@ 001
@@ 002
@@ 003
@@ 000
@@ 000

I guess there's block inside MessageQ_alloc and I found http://e2e.ti.com/support/embedded/bios/f/355/t/250517.aspx

and I'm not very clear their talking~~ Is it a bug??