}
POST(sys_msgrcv)
{
- ML_(generic_POST_sys_msgrcv)(tid, RES,ARG1,ARG2,ARG3,ARG4,ARG5);
+ ML_(linux_POST_sys_msgrcv)(tid, RES,ARG1,ARG2,ARG3,ARG4,ARG5);
}
PRE(sys_msgctl)
}
POST(sys_msgctl)
{
- ML_(generic_POST_sys_msgctl)(tid, RES,ARG1,ARG2,ARG3);
+ ML_(linux_POST_sys_msgctl)(tid, RES,ARG1,ARG2,ARG3);
}
PRE(sys_shmget)
(Addr) (&((struct vki_ipc_kludge *)ARG5)->msgtyp),
"msgrcv(msgp)" );
- ML_(generic_POST_sys_msgrcv)( tid, RES, ARG2, msgp, ARG3, msgtyp, ARG4 );
+ ML_(linux_POST_sys_msgrcv)( tid, RES, ARG2, msgp, ARG3, msgtyp, ARG4 );
break;
}
case VKI_MSGGET:
break;
case VKI_MSGCTL:
- ML_(generic_POST_sys_msgctl)( tid, RES, ARG2, ARG3, ARG5 );
+ ML_(linux_POST_sys_msgctl)( tid, RES, ARG2, ARG3, ARG5 );
break;
case VKI_SHMAT:
{
//.. (Addr) (&((struct vki_ipc_kludge *)ARG5)->msgtyp),
//.. "msgrcv(msgp)" );
//..
-//.. ML_(generic_POST_sys_msgrcv)( tid, RES, ARG2, msgp, ARG3, msgtyp, ARG4 );
+//.. ML_(linux_POST_sys_msgrcv)( tid, RES, ARG2, msgp, ARG3, msgtyp, ARG4 );
//.. break;
//.. }
//.. case VKI_MSGGET:
//.. break;
//.. case VKI_MSGCTL:
-//.. ML_(generic_POST_sys_msgctl)( tid, RES, ARG2, ARG3, ARG5 );
+//.. ML_(linux_POST_sys_msgctl)( tid, RES, ARG2, ARG3, ARG5 );
//.. break;
//.. case VKI_SHMAT:
//.. {