{"name": "ehci_queue_stopped", "code": "unsigned __int64 __fastcall ehci_queue_stopped ( __int64 @@a1@@ ) { __int64 @@v1@@ ; unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) && * ( _QWORD * ) ( @@a1@@ + Number ) ) { @@v1@@ = usb_ep_get ( * ( _QWORD * ) ( @@a1@@ + Number ) , * ( unsigned int * ) ( @@a1@@ + Number ) , ( * ( _DWORD * ) ( @@a1@@ + Number ) >> Number ) & Number ) ; usb_device_ep_stopped ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@v1@@ ) ; } return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}
{"name": "ehci_cancel_queue", "code": "__int64 __fastcall ehci_cancel_queue ( __int64 @@a1@@ ) { unsigned int @@v2@@ ; __int64 @@v3@@ ; @@v2@@ = Number ; @@v3@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; if ( @@v3@@ ) { trace_usb_ehci_queue_action ( @@a1@@ , String ) ; do { ehci_free_packet ( @@v3@@ ) ; ++ @@v2@@ ; @@v3@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; } while ( @@v3@@ ) ; } ehci_queue_stopped ( @@a1@@ ) ; return @@v2@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s20"}]} {"name": "ehci_execute", "code": "__int64 __fastcall ehci_execute ( _QWORD * @@a1@@ , __int64 @@a2@@ ) { bool @@v3@@ ; __int64 @@v4@@ ; if ( * ( ( _DWORD * ) @@a1@@ + Number ) && * ( ( _DWORD * ) @@a1@@ + Number ) != Number ) _assert_fail ( String , String , Number , String ) ; if ( ( @@a1@@ [ Number ] & Number ) == Number ) { fwrite ( String , Number , Number , stderr ) ; return Number ; } if ( ( HIWORD ( * ( ( _DWORD * ) @@a1@@ + Number ) ) & Number ) > Number ) { ehci_trace_guest_bug ( * ( _QWORD * ) * @@a1@@ , String ) ; return Number ; } if ( ! ehci_verify_pid ( * @@a1@@ , ( __int64 ) ( @@a1@@ + Number ) ) ) ehci_queue_stopped ( * @@a1@@ ) ; * ( ( _DWORD * ) @@a1@@ + Number ) = ehci_get_pid ( ( __int64 ) ( @@a1@@ + Number ) ) ; * ( _DWORD * ) ( * @@a1@@ + Number L ) = * ( ( _DWORD * ) @@a1@@ + Number ) ; @@v4@@ = usb_ep_get ( * ( _QWORD * ) ( * @@a1@@ + Number L ) , * ( ( unsigned int * ) @@a1@@ + Number ) , ( * ( _DWORD * ) ( * @@a1@@ + Number L ) >> Number ) & Number ) ; if ( ! * ( ( _DWORD * ) @@a1@@ + Number ) ) { if ( ( unsigned int ) ehci_init_transfer ( @@a1@@ ) ) return Number ; @@v3@@ = * ( ( _DWORD * ) @@a1@@ + Number ) == Number && ( * ( ( _DWORD * ) @@a1@@ + Number ) & Number ) == Number ; usb_packet_setup ( @@a1@@ + Number , * ( ( unsigned int * ) @@a1@@ + Number ) , @@v4@@ , Number L , * ( ( unsigned int * ) @@a1@@ + Number ) , @@v3@@ , ( @@a1@@ [ Number ] & Number ) != Number ) ; usb_packet_map ( @@a1@@ + Number , @@a1@@ + Number ) ; * ( ( _DWORD * ) @@a1@@ + Number ) = Number ; } trace_usb_ehci_packet_action ( * @@a1@@ , @@a1@@ , @@a2@@ ) ; usb_handle_packet ( * ( _QWORD * ) ( * @@a1@@ + Number L ) , @@a1@@ + Number ) ; if ( * ( ( int * ) @@a1@@ + Number ) <= Number ) return Number L ; fwrite ( String , Number , Number , stderr ) ; return Number ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_QWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "bool", "s": 1}, "location": "r8"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}]}