PRINT("sys_msgsnd ( %d, %p, %d, %d )",ARG1,ARG2,ARG3,ARG4);
PRE_REG_READ4(long, "msgsnd",
int, msqid, struct msgbuf *, msgp, vki_size_t, msgsz, int, msgflg);
- ML_(generic_PRE_sys_msgsnd)(tid, ARG1,ARG2,ARG3,ARG4);
+ ML_(linux_PRE_sys_msgsnd)(tid, ARG1,ARG2,ARG3,ARG4);
if ((ARG4 & VKI_IPC_NOWAIT) == 0)
*flags |= SfMayBlock;
}
PRE_REG_READ5(long, "msgrcv",
int, msqid, struct msgbuf *, msgp, vki_size_t, msgsz,
long, msgytp, int, msgflg);
- ML_(generic_PRE_sys_msgrcv)(tid, ARG1,ARG2,ARG3,ARG4,ARG5);
+ ML_(linux_PRE_sys_msgrcv)(tid, ARG1,ARG2,ARG3,ARG4,ARG5);
if ((ARG4 & VKI_IPC_NOWAIT) == 0)
*flags |= SfMayBlock;
}
PRINT("sys_msgctl ( %d, %d, %p )",ARG1,ARG2,ARG3);
PRE_REG_READ3(long, "msgctl",
int, msqid, int, cmd, struct msqid_ds *, buf);
- ML_(generic_PRE_sys_msgctl)(tid, ARG1,ARG2,ARG3);
+ ML_(linux_PRE_sys_msgctl)(tid, ARG1,ARG2,ARG3);
}
POST(sys_msgctl)
{
*flags |= SfMayBlock;
break;
case VKI_MSGSND:
- ML_(generic_PRE_sys_msgsnd)( tid, ARG2, ARG5, ARG3, ARG4 );
+ ML_(linux_PRE_sys_msgsnd)( tid, ARG2, ARG5, ARG3, ARG4 );
if ((ARG4 & VKI_IPC_NOWAIT) == 0)
*flags |= SfMayBlock;
break;
(Addr) (&((struct vki_ipc_kludge *)ARG5)->msgtyp),
"msgrcv(msgp)" );
- ML_(generic_PRE_sys_msgrcv)( tid, ARG2, msgp, ARG3, msgtyp, ARG4 );
+ ML_(linux_PRE_sys_msgrcv)( tid, ARG2, msgp, ARG3, msgtyp, ARG4 );
if ((ARG4 & VKI_IPC_NOWAIT) == 0)
*flags |= SfMayBlock;
case VKI_MSGGET:
break;
case VKI_MSGCTL:
- ML_(generic_PRE_sys_msgctl)( tid, ARG2, ARG3, ARG5 );
+ ML_(linux_PRE_sys_msgctl)( tid, ARG2, ARG3, ARG5 );
break;
case VKI_SHMAT:
{
//.. /* tst->sys_flags |= MayBlock; */
//.. break;
//.. case VKI_MSGSND:
-//.. ML_(generic_PRE_sys_msgsnd)( tid, ARG2, ARG5, ARG3, ARG4 );
+//.. ML_(linux_PRE_sys_msgsnd)( tid, ARG2, ARG5, ARG3, ARG4 );
//.. /* if ((ARG4 & VKI_IPC_NOWAIT) == 0)
//.. tst->sys_flags |= MayBlock;
//.. */
//.. (Addr) (&((struct vki_ipc_kludge *)ARG5)->msgtyp),
//.. "msgrcv(msgp)" );
//..
-//.. ML_(generic_PRE_sys_msgrcv)( tid, ARG2, msgp, ARG3, msgtyp, ARG4 );
+//.. ML_(linux_PRE_sys_msgrcv)( tid, ARG2, msgp, ARG3, msgtyp, ARG4 );
//..
//.. /* if ((ARG4 & VKI_IPC_NOWAIT) == 0)
//.. tst->sys_flags |= MayBlock;
//.. case VKI_MSGGET:
//.. break;
//.. case VKI_MSGCTL:
-//.. ML_(generic_PRE_sys_msgctl)( tid, ARG2, ARG3, ARG5 );
+//.. ML_(linux_PRE_sys_msgctl)( tid, ARG2, ARG3, ARG5 );
//.. break;
//.. case VKI_SHMAT:
//.. PRE_MEM_WRITE( "shmat(raddr)", ARG4, sizeof(Addr) );