Searched refs:vki_usbdevfs_getdriver (Results 1 – 2 of 2) sorted by relevance
2543 struct vki_usbdevfs_getdriver { struct2584 #define VKI_USBDEVFS_GETDRIVER _VKI_IOW('U', 8, struct vki_usbdevfs_getdriver)
6711 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *) ARG3; in PRE()9248 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *)ARG3; in POST()