Searched refs:vkugd (Results 1 – 2 of 2) sorted by relevance
7605 struct vki_usbdevfs_getdriver *vkugd = in PRE() local7607 PRE_MEM_WRITE( "ioctl(USBDEVFS_GETDRIVER)", (Addr)&vkugd->driver, sizeof(vkugd->driver)); in PRE()10294 struct vki_usbdevfs_getdriver *vkugd = in POST() local10296 POST_MEM_WRITE((Addr)&vkugd->driver, sizeof(vkugd->driver)); in POST()