Searched refs:vki_usbdevfs_ioctl (Results 1 – 2 of 2) sorted by relevance
2575 struct vki_usbdevfs_ioctl { struct2590 #define VKI_USBDEVFS_IOCTL _VKI_IOWR('U', 18, struct vki_usbdevfs_ioctl) argument
6777 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3; in PRE()6779 PRE_MEM_READ("ioctl(USBDEVFS_IOCTL)", (Addr)vkui, sizeof(struct vki_usbdevfs_ioctl)); in PRE()9288 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3; in POST()