Searched refs:vki_ipc_kludge (Results 1 – 9 of 9) sorted by relevance
896 struct vki_ipc_kludge { struct
743 struct vki_ipc_kludge { struct
878 struct vki_ipc_kludge { struct
742 struct vki_ipc_kludge { struct
725 struct vki_ipc_kludge { struct
741 struct vki_ipc_kludge { struct
765 struct vki_ipc_kludge { struct
822 struct vki_ipc_kludge {
3618 msgp = deref_Addr( tid, (Addr) (&((struct vki_ipc_kludge *)ARG5)->msgp), in PRE()3621 (Addr) (&((struct vki_ipc_kludge *)ARG5)->msgtyp), in PRE()3712 (Addr) (&((struct vki_ipc_kludge *)ARG5)->msgp), in POST()3715 (Addr) (&((struct vki_ipc_kludge *)ARG5)->msgtyp), in POST()