Searched refs:vki_getinfo_fid2path (Results 1 – 2 of 2) sorted by relevance
7384 struct vki_getinfo_fid2path *gf = (struct vki_getinfo_fid2path *)ARG3; in PRE()7385 PRE_MEM_READ("VKI_OBD_IOC_FID2PATH(args)", ARG3, sizeof(struct vki_getinfo_fid2path)); in PRE()9736 struct vki_getinfo_fid2path *args = (void *)(ARG3); in POST()
3658 struct vki_getinfo_fid2path { struct