{"name": "ehci_queues_rip_unseen", "code": "unsigned __int64 __fastcall ehci_queues_rip_unseen ( __int64 @@a1@@ , int @@a2@@ ) { __int64 * @@v2@@ ; __int64 @@i@@ ; __int64 @@v5@@ ; unsigned __int64 @@v6@@ ; @@v6@@ = __readfsqword ( Number ) ; if ( @@a2@@ ) @@v2@@ = ( __int64 * ) ( @@a1@@ + Number ) ; else @@v2@@ = ( __int64 * ) ( @@a1@@ + Number ) ; for ( @@i@@ = * @@v2@@ ; @@i@@ ; @@i@@ = @@v5@@ ) { @@v5@@ = * ( _QWORD * ) ( @@i@@ + Number ) ; if ( ! * ( _DWORD * ) ( @@i@@ + Number ) ) ehci_free_queue ( @@i@@ , Number L ) ; } return __readfsqword ( Number ) ^ @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v2", "t": {"T": 3, "t": "__int64"}, "location": "r8"}, {"n": "v5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "i", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v6", "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_advance_async_state", "code": "unsigned __int64 __fastcall ehci_advance_async_state ( _DWORD * @@a1@@ ) { int @@v1@@ ; unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; @@v1@@ = ehci_get_state ( ( __int64 ) @@a1@@ , Number ) ; if ( @@v1@@ == Number ) { if ( ! ehci_async_enabled ( ( __int64 ) @@a1@@ ) ) return __readfsqword ( Number ) ^ @@v3@@ ; ehci_set_state ( @@a1@@ , Number , Number ) ; } else if ( @@v1@@ != Number ) { fprintf ( stderr , String , ( unsigned int ) @@a1@@ [ Number ] ) ; g_assertion_message_expr ( Number L , String , Number L , String , Number L ) ; return __readfsqword ( Number ) ^ @@v3@@ ; } if ( ! ehci_async_enabled ( ( __int64 ) @@a1@@ ) ) { ehci_queues_rip_all ( ( __int64 ) @@a1@@ , Number ) ; ehci_set_state ( @@a1@@ , Number , Number ) ; } else if ( ( @@a1@@ [ Number ] & Number ) == Number ) { if ( @@a1@@ [ Number ] ) { ehci_set_state ( @@a1@@ , Number , Number ) ; ehci_advance_state ( @@a1@@ , Number ) ; if ( ( @@a1@@ [ Number ] & Number ) != Number ) { ehci_queues_rip_unseen ( ( __int64 ) @@a1@@ , Number ) ; trace_usb_ehci_doorbell_ack ( ) ; @@a1@@ [ Number ] &= Number ; ehci_raise_irq ( ( __int64 ) @@a1@@ , Number ) ; } } } return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "usb_ehci_vm_state_change", "code": "unsigned __int64 __fastcall usb_ehci_vm_state_change ( _DWORD * @@a1@@ , __int64 @@a2@@ , int @@a3@@ ) { unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; if ( @@a3@@ == Number ) ehci_advance_async_state ( @@a1@@ ) ; if ( @@a3@@ == Number ) { ehci_advance_async_state ( @@a1@@ ) ; ehci_queues_rip_unseen ( ( __int64 ) @@a1@@ , Number ) ; } return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}