Searched refs:vkugd (Results 1 – 1 of 1) sorted by relevance
6711 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *) ARG3; in PRE() local6712 PRE_MEM_WRITE( "ioctl(USBDEVFS_GETDRIVER)", (Addr)&vkugd->driver, sizeof(vkugd->driver)); in PRE()9248 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *)ARG3; in POST() local9249 POST_MEM_WRITE((Addr)&vkugd->driver, sizeof(vkugd->driver)); in POST()