{"name": "ehci_queues_rip_device", "code": "unsigned __int64 __fastcall ehci_queues_rip_device ( __int64 @@a1@@ , __int64 @@a2@@ , int @@a3@@ ) { __int64 * @@v3@@ ; __int64 @@i@@ ; __int64 @@v6@@ ; unsigned __int64 @@v7@@ ; @@v7@@ = __readfsqword ( Number ) ; if ( @@a3@@ ) @@v3@@ = ( __int64 * ) ( @@a1@@ + Number ) ; else @@v3@@ = ( __int64 * ) ( @@a1@@ + Number ) ; for ( @@i@@ = * @@v3@@ ; @@i@@ ; @@i@@ = @@v6@@ ) { @@v6@@ = * ( _QWORD * ) ( @@i@@ + Number ) ; if ( @@a2@@ == * ( _QWORD * ) ( @@i@@ + Number ) ) ehci_free_queue ( @@i@@ , Number L ) ; } return __readfsqword ( Number ) ^ @@v7@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v3", "t": {"T": 3, "t": "__int64"}, "location": "r8"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "i", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}
{"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_detach", "code": "unsigned __int64 __fastcall ehci_detach ( __int64 @@a1@@ ) { const char * v1 ; int v2 ; __int64 @@v4@@ ; int * @@v5@@ ; _QWORD * @@v6@@ ; unsigned __int64 @@v7@@ ; @@v7@@ = __readfsqword ( Number ) ; @@v4@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; @@v5@@ = ( int * ) ( Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) + @@v4@@ + Number ) ; if ( ( * @@v5@@ & Number ) != Number ) v1 = String ; else v1 = String ; trace_usb_ehci_port_detach ( * ( unsigned int * ) ( @@a1@@ + Number ) , v1 ) ; if ( ( * @@v5@@ & Number ) != Number ) { @@v6@@ = * ( _QWORD * * ) ( @@v4@@ + Number * ( * ( int * ) ( @@a1@@ + Number ) + Number L ) ) ; ( * ( void ( __fastcall * * ) ( _QWORD * ) ) ( @@v6@@ [ Number ] + Number L ) ) ( @@v6@@ ) ; * @@v6@@ = Number L ; v2 = * @@v5@@ ; BYTE1 ( v2 ) = BYTE1 ( * @@v5@@ ) & Number ; * @@v5@@ = v2 ; } else { ehci_queues_rip_device ( @@v4@@ , * ( _QWORD * ) @@a1@@ , Number ) ; ehci_queues_rip_device ( @@v4@@ , * ( _QWORD * ) @@a1@@ , Number ) ; * @@v5@@ &= Number ; * @@v5@@ |= Number ; ehci_raise_irq ( @@v4@@ , Number ) ; } return __readfsqword ( Number ) ^ @@v7@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v6", "t": {"T": 3, "t": "_QWORD"}, "location": "s16"}, {"n": "v5", "t": {"T": 3, "t": "int"}, "location": "s32"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_child_detach", "code": "unsigned __int64 __fastcall ehci_child_detach ( __int64 @@a1@@ , __int64 @@a2@@ ) { __int64 @@v3@@ ; unsigned __int64 @@v4@@ ; @@v4@@ = __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 { ehci_queues_rip_device ( @@v3@@ , @@a2@@ , Number ) ; ehci_queues_rip_device ( @@v3@@ , @@a2@@ , Number ) ; } return __readfsqword ( Number ) ^ @@v4@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}