90 void phDal4Nfc_msgrelease(intptr_t msqid)  in phDal4Nfc_msgrelease()  argument
92     phDal4Nfc_message_queue_t * pQueue = (phDal4Nfc_message_queue_t*)msqid;  in phDal4Nfc_msgrelease()
123 int phDal4Nfc_msgctl(intptr_t msqid, int cmd, void *buf)  in phDal4Nfc_msgctl()  argument
129     if (msqid == 0)  in phDal4Nfc_msgctl()
132     pQueue = (phDal4Nfc_message_queue_t *) msqid;  in phDal4Nfc_msgctl()
173 intptr_t phDal4Nfc_msgsnd(intptr_t msqid, phLibNfc_Message_t * msg, int msgflg)  in phDal4Nfc_msgsnd()  argument
179     if ((msqid == 0) || (msg == NULL) )  in phDal4Nfc_msgsnd()
183     pQueue = (phDal4Nfc_message_queue_t *) msqid;  in phDal4Nfc_msgsnd()
230 int phDal4Nfc_msgrcv(intptr_t msqid, phLibNfc_Message_t * msg, long msgtyp, int msgflg)  in phDal4Nfc_msgrcv()  argument
236     if ((msqid == 0) || (msg == NULL))  in phDal4Nfc_msgrcv()
239     pQueue = (phDal4Nfc_message_queue_t *) msqid;  in phDal4Nfc_msgrcv()