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