Searched defs:vkugd (Results 1 – 1 of 1) sorted by relevance
6652 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *) ARG3; in PRE() local7847 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *)ARG3; in POST() local