Searched refs:vki_usbdevfs_ioctl (Results 1 – 2 of 2) sorted by relevance
2380 struct vki_usbdevfs_ioctl { struct2395 #define VKI_USBDEVFS_IOCTL _VKI_IOWR('U', 18, struct vki_usbdevfs_ioctl) argument
4916 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3; in PRE()4918 PRE_MEM_READ("ioctl(USBDEVFS_IOCTL)", (Addr)vkui, sizeof(struct vki_usbdevfs_ioctl)); in PRE()5894 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3; in POST()