{"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_writeback_async_complete_packet", "code": "unsigned __int64 __fastcall ehci_writeback_async_complete_packet ( __int64 @@a1@@ ) { unsigned int @@v2@@ ; __int64 * @@v3@@ ; unsigned int @@v4@@ [ Number ] ; unsigned int @@v5@@ [ Number ] ; unsigned __int64 @@v6@@ ; @@v6@@ = __readfsqword ( Number ) ; @@v3@@ = * ( __int64 * * ) @@a1@@ ; get_dwords ( * * ( _QWORD * * ) @@a1@@ , * ( _DWORD * ) ( * ( _QWORD * ) @@a1@@ + Number L ) & Number , @@v5@@ , Number ) ; get_dwords ( * @@v3@@ , * ( ( _DWORD * ) @@v3@@ + Number ) & Number , @@v4@@ , Number ) ; if ( ! ehci_verify_qh ( ( __int64 ) @@v3@@ , @@v5@@ ) || ! ehci_verify_qtd ( ( _DWORD * ) @@a1@@ , @@v4@@ ) ) { * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; ehci_free_packet ( @@a1@@ ) ; } else { @@v2@@ = ehci_get_state ( * @@v3@@ , * ( ( _DWORD * ) @@v3@@ + Number ) ) ; ehci_state_executing ( @@v3@@ ) ; ehci_state_writeback ( @@v3@@ ) ; if ( ( @@v3@@ [ Number ] & Number ) == Number ) ehci_state_advqueue ( @@v3@@ ) ; ehci_set_state ( ( _DWORD * ) * @@v3@@ , * ( ( _DWORD * ) @@v3@@ + Number ) , @@v2@@ ) ; } return __readfsqword ( Number ) ^ @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v3", "t": {"T": 3, "t": "__int64"}, "location": "s104"}, {"n": "v2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s108"}, {"n": "v5", "t": {"T": 2, "n": 14, "s": 4, "t": "unsigned int"}, "location": "s64"}, {"n": "v6", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}, {"n": "v4", "t": {"T": 2, "n": 8, "s": 4, "t": "unsigned int"}, "location": "s96"}]} {"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_async_complete_packet", "code": "unsigned __int64 __fastcall ehci_async_complete_packet ( __int64 @@a1@@ , __int64 @@a2@@ ) { __int64 @@v3@@ ; _QWORD * @@v4@@ ; unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; @@v3@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; if ( ( * ( _DWORD * ) ( @@v3@@ + Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) + Number ) & Number ) != Number ) { ( * ( void ( __fastcall * * ) ( _QWORD , __int64 ) ) ( * ( _QWORD * ) ( * ( _QWORD * ) ( @@v3@@ + Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) ) + Number L ) + Number L ) ) ( * ( _QWORD * ) ( @@v3@@ + Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) ) , @@a2@@ ) ; } else { @@v4@@ = ( _QWORD * ) ( @@a2@@ - Number ) ; if ( * ( _DWORD * ) ( @@a2@@ - Number + Number ) != Number ) _assert_fail ( String , String , Number , String ) ; if ( * ( _DWORD * ) ( @@a2@@ + Number ) == Number ) { trace_usb_ehci_packet_action ( * @@v4@@ , @@v4@@ , String ) ; ehci_free_packet ( ( __int64 ) @@v4@@ ) ; } else { trace_usb_ehci_packet_action ( * @@v4@@ , @@v4@@ , String ) ; * ( ( _DWORD * ) @@v4@@ + Number ) = Number ; if ( ! * ( _DWORD * ) ( * @@v4@@ + Number L ) ) * ( _DWORD * ) ( @@v3@@ + Number ) = Number ; qemu_bh_schedule ( * ( _QWORD * ) ( @@v3@@ + Number ) ) ; } } return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v4", "t": {"T": 3, "t": "_QWORD"}, "location": "s24"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_state_writeback", "code": "__int64 __fastcall ehci_state_writeback ( _DWORD * * @@a1@@ ) { __int64 @@v2@@ ; @@v2@@ = ( __int64 ) @@a1@@ [ Number ] ; if ( ! @@v2@@ ) _assert_fail ( String , String , Number , String ) ; if ( * ( _DWORD * ) ( @@v2@@ + Number ) != * ( ( _DWORD * ) @@a1@@ + Number ) ) _assert_fail ( String , String , Number , String ) ; ehci_trace_qtd ( ( __int64 ) @@a1@@ , * ( _DWORD * ) ( @@v2@@ + Number ) & Number , ( unsigned int * ) @@a1@@ + Number ) ; put_dwords ( ( __int64 ) * @@a1@@ , ( * ( _DWORD * ) ( @@v2@@ + Number ) & Number ) + Number , ( unsigned int * ) @@a1@@ + Number , Number ) ; ehci_free_packet ( @@v2@@ ) ; if ( ( ( _DWORD ) @@a1@@ [ Number ] & Number ) != Number ) ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; else ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD *"}, "location": "r56"}, {"n": "v2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}]}