Lines Matching defs:ifc
4559 struct vki_ifconf *ifc = (struct vki_ifconf *) ARG3;4561 (Addr)(ifc->vki_ifc_buf), ifc->ifc_len );5879 struct vki_ifconf *ifc = (struct vki_ifconf *) ARG3;5880 if (ifc->vki_ifc_buf != NULL)5881 POST_MEM_WRITE( (Addr)(ifc->vki_ifc_buf), ifc->ifc_len );