Searched refs:VKI_USBDEVFS_RESET (Results 1 – 2 of 2) sorted by relevance
2396 #define VKI_USBDEVFS_RESET _VKI_IO('U', 20) macro
4929 case VKI_USBDEVFS_RESET: in PRE()