{"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_free_packet", "code": "unsigned __int64 __fastcall ehci_free_packet ( __int64 @@a1@@ ) { const char * @@v1@@ ; unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) != Number || ( * ( _DWORD * ) ( * ( _QWORD * ) @@a1@@ + Number L ) & Number ) != Number ) { trace_usb_ehci_packet_action ( * ( _QWORD * ) @@a1@@ , @@a1@@ , String ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) == Number ) usb_cancel_packet ( @@a1@@ + Number ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) == Number && ! * ( _DWORD * ) ( @@a1@@ + Number ) ) { if ( * ( _DWORD * ) ( @@a1@@ + Number ) == Number ) @@v1@@ = String ; else @@v1@@ = String ; fprintf ( stderr , String , @@v1@@ , ( * ( _DWORD * ) ( * ( _QWORD * ) @@a1@@ + Number L ) >> Number ) & Number ) ; } if ( * ( _DWORD * ) ( @@a1@@ + Number ) ) { usb_packet_unmap ( @@a1@@ + Number , @@a1@@ + Number ) ; qemu_sglist_destroy ( @@a1@@ + Number ) ; } if ( * ( _QWORD * ) ( @@a1@@ + Number ) ) * ( _QWORD * ) ( * ( _QWORD * ) ( @@a1@@ + Number ) + Number L ) = * ( _QWORD * ) ( @@a1@@ + Number ) ; else * ( _QWORD * ) ( * ( _QWORD * ) @@a1@@ + Number L ) = * ( _QWORD * ) ( @@a1@@ + Number ) ; * * ( _QWORD * * ) ( @@a1@@ + Number ) = * ( _QWORD * ) ( @@a1@@ + Number ) ; usb_packet_cleanup ( @@a1@@ + Number ) ; g_free ( @@a1@@ ) ; } else { ehci_writeback_async_complete_packet ( @@a1@@ ) ; } return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v1", "t": {"T": 3, "t": "const char"}, "location": "r8"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"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_reset_queue", "code": "__int64 __fastcall ehci_reset_queue ( __int64 @@a1@@ ) { __int64 @@result@@ ; trace_usb_ehci_queue_action ( @@a1@@ , String ) ; LODWORD ( @@result@@ ) = ehci_cancel_queue ( @@a1@@ ) ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; return ( unsigned int ) @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]} {"name": "ehci_free_queue", "code": "unsigned __int64 __fastcall ehci_free_queue ( __int64 @@a1@@ , const char * @@a2@@ ) { __int64 @@v2@@ ; int @@v4@@ ; __int64 @@v5@@ ; unsigned __int64 @@v6@@ ; @@v6@@ = __readfsqword ( Number ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) ) @@v2@@ = * ( _QWORD * ) @@a1@@ + Number L ; else @@v2@@ = * ( _QWORD * ) @@a1@@ + Number L ; @@v5@@ = @@v2@@ ; trace_usb_ehci_queue_action ( @@a1@@ , String ) ; @@v4@@ = ehci_cancel_queue ( @@a1@@ ) ; if ( @@a2@@ && @@v4@@ > Number ) ehci_trace_guest_bug ( * ( _QWORD * ) @@a1@@ , @@a2@@ ) ; if ( * ( _QWORD * ) ( @@a1@@ + Number ) ) * ( _QWORD * ) ( * ( _QWORD * ) ( @@a1@@ + Number ) + Number L ) = * ( _QWORD * ) ( @@a1@@ + Number ) ; else * ( _QWORD * ) ( @@v5@@ + Number ) = * ( _QWORD * ) ( @@a1@@ + Number ) ; * * ( _QWORD * * ) ( @@a1@@ + Number ) = * ( _QWORD * ) ( @@a1@@ + Number ) ; g_free ( @@a1@@ ) ; return __readfsqword ( Number ) ^ @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "v2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v4", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "v6", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_state_fetchqtd", "code": "__int64 __fastcall ehci_state_fetchqtd ( _DWORD * * @@a1@@ ) { __int64 v2 ; __int64 v3 ; unsigned int @@v4@@ ; __int64 v5 ; __int64 v6 ; unsigned int @@v7@@ ; _DWORD * v8 ; _QWORD * v9 ; __int64 @@v10@@ ; __int64 @@v11@@ ; __int64 @@v12@@ ; __int64 @@v13@@ ; unsigned __int64 @@v14@@ ; @@v14@@ = __readfsqword ( Number ) ; @@v7@@ = Number ; if ( ( int ) get_dwords ( ( __int64 ) * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) & Number , ( unsigned int * ) & @@v10@@ , Number ) < Number ) return Number L ; ehci_trace_qtd ( ( __int64 ) @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) & Number , ( unsigned int * ) & @@v10@@ ) ; v8 = @@a1@@ [ Number ] ; if ( v8 ) { if ( ! ehci_verify_qtd ( v8 , & @@v10@@ ) ) { ehci_cancel_queue ( ( __int64 ) @@a1@@ ) ; if ( ( @@v11@@ & Number ) != Number ) ehci_trace_guest_bug ( ( __int64 ) * @@a1@@ , String ) ; v8 = Number L ; } else { v2 = @@v11@@ ; * ( ( _QWORD * ) v8 + Number ) = @@v10@@ ; * ( ( _QWORD * ) v8 + Number ) = v2 ; v3 = @@v13@@ ; * ( ( _QWORD * ) v8 + Number ) = @@v12@@ ; * ( ( _QWORD * ) v8 + Number ) = v3 ; ehci_qh_do_overlay ( ( __int64 ) @@a1@@ ) ; } } if ( ( @@v11@@ & Number ) != Number ) { if ( v8 ) { @@v4@@ = v8 [ Number ] ; if ( @@v4@@ == Number ) { ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; } else if ( @@v4@@ <= Number ) { if ( @@v4@@ <= Number ) { ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; } else { @@v7@@ = ehci_fill_queue ( * * ( ( _QWORD * * ) @@a1@@ [ Number ] + Number ) ) ; ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; } } } else { v9 = ehci_alloc_packet ( ( __int64 ) @@a1@@ ) ; * ( ( _DWORD * ) v9 + Number ) = * ( ( _DWORD * ) @@a1@@ + Number ) ; v5 = @@v11@@ ; v9 [ Number ] = @@v10@@ ; v9 [ Number ] = v5 ; v6 = @@v13@@ ; v9 [ Number ] = @@v12@@ ; v9 [ Number ] = v6 ; ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; } } else { ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; } return @@v7@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD *"}, "location": "r56"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r8"}, {"n": "v13", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v12", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v11", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v10", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s48"}, {"n": "v7", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s60"}, {"n": "v14", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}