Searched refs:vkui (Results 1 – 1 of 1) sorted by relevance
4916 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3; in PRE() local4918 PRE_MEM_READ("ioctl(USBDEVFS_IOCTL)", (Addr)vkui, sizeof(struct vki_usbdevfs_ioctl)); in PRE()4919 dir2 = _VKI_IOC_DIR(vkui->ioctl_code); in PRE()4920 size2 = _VKI_IOC_SIZE(vkui->ioctl_code); in PRE()4923 PRE_MEM_READ("ioctl(USBDEVFS_IOCTL).dataWrite", (Addr)vkui->data, size2); in PRE()4925 PRE_MEM_WRITE("ioctl(USBDEVFS_IOCTL).dataRead", (Addr)vkui->data, size2); in PRE()5894 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3; in POST() local5896 dir2 = _VKI_IOC_DIR(vkui->ioctl_code); in POST()5897 size2 = _VKI_IOC_SIZE(vkui->ioctl_code); in POST()5900 POST_MEM_WRITE((Addr)vkui->data, size2); in POST()