{"name": "ehci_get_fetch_addr", "code": "__int64 __fastcall ehci_get_fetch_addr ( __int64 @@a1@@ , int @@a2@@ ) { __int64 @@result@@ ; if ( @@a2@@ ) @@result@@ = * ( unsigned int * ) ( @@a1@@ + Number ) ; else @@result@@ = * ( unsigned int * ) ( @@a1@@ + Number ) ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}
{"name": "ehci_state_fetchentry", "code": "__int64 __fastcall ehci_state_fetchentry ( _DWORD * @@a1@@ , int @@a2@@ ) { int @@v3@@ ; unsigned int @@v4@@ ; unsigned int @@v5@@ ; @@v4@@ = Number ; @@v5@@ = ehci_get_fetch_addr ( ( __int64 ) @@a1@@ , @@a2@@ ) ; if ( ( @@v5@@ & Number ) != Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; } else { if ( @@a2@@ && ( ( @@v5@@ >> Number ) & Number ) != Number ) { fwrite ( String , Number , Number , stderr ) ; return Number ; } @@v3@@ = ( @@v5@@ >> Number ) & Number ; if ( @@v3@@ == Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; @@v4@@ = Number ; } else { if ( ( ( @@v5@@ >> Number ) & Number ) == Number ) { fprintf ( stderr , String , @@v5@@ , ( @@v5@@ >> Number ) & Number ) ; return Number ; } if ( @@v3@@ ) ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; else ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; @@v4@@ = Number ; } } return @@v4@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v5", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s16"}]} {"name": "ehci_state_fetchqh", "code": "__int64 __fastcall ehci_state_fetchqh ( _DWORD * @@a1@@ , int @@a2@@ ) { __int64 v2 ; __int64 v3 ; __int64 v4 ; int @@v6@@ ; __int64 @@v7@@ ; __int64 @@v8@@ [ Number ] ; @@v8@@ [ Number ] = __readfsqword ( Number ) ; @@v6@@ = ehci_get_fetch_addr ( ( __int64 ) @@a1@@ , @@a2@@ ) ; @@v7@@ = ehci_find_queue_by_qh ( ( __int64 ) @@a1@@ , @@v6@@ , @@a2@@ ) ; if ( ! @@v7@@ ) @@v7@@ = ehci_alloc_queue ( ( __int64 ) @@a1@@ , @@v6@@ , @@a2@@ ) ; if ( ++ * ( _DWORD * ) ( @@v7@@ + Number ) <= Number ) { if ( ( int ) get_dwords ( ( __int64 ) @@a1@@ , * ( _DWORD * ) ( @@v7@@ + Number ) & Number , ( unsigned int * ) @@v8@@ , Number ) >= Number ) { ehci_trace_qh ( @@v7@@ , * ( _DWORD * ) ( @@v7@@ + Number ) & Number , ( unsigned int * ) @@v8@@ ) ; if ( ! ehci_verify_qh ( @@v7@@ , @@v8@@ ) && ( int ) ehci_reset_queue ( @@v7@@ ) > Number ) ehci_trace_guest_bug ( ( __int64 ) @@a1@@ , String ) ; v2 = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = v2 ; v3 = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = v3 ; v4 = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = @@v8@@ [ Number ] ; * ( _QWORD * ) ( @@v7@@ + Number ) = v4 ; * ( _DWORD * ) ( @@v7@@ + Number ) = * ( _DWORD * ) ( @@v7@@ + Number ) >> Number ; if ( ! * ( _DWORD * ) ( @@v7@@ + Number ) ) * ( _DWORD * ) ( @@v7@@ + Number ) = Number ; if ( ! * ( _QWORD * ) ( @@v7@@ + Number ) ) * ( _QWORD * ) ( @@v7@@ + Number ) = ehci_find_device ( * ( _QWORD * ) @@v7@@ , * ( _BYTE * ) ( @@v7@@ + Number ) & Number ) ; if ( @@a2@@ && ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) != Number ) { if ( ( @@a1@@ [ Number ] & Number ) == Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; return Number L ; } ehci_clear_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } if ( ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) != Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; } else if ( ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) == Number || ( * ( _DWORD * ) ( @@v7@@ + Number ) & Number ) != Number ) { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; } else { * ( _DWORD * ) ( @@v7@@ + Number ) = * ( _DWORD * ) ( @@v7@@ + Number ) ; ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; } } else { @@v7@@ = Number L ; } } else { ehci_set_state ( @@a1@@ , @@a2@@ , Number ) ; @@v7@@ = Number L ; } return @@v7@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v8", "t": {"T": 2, "n": 10, "s": 8, "t": "__int64"}, "location": "s80"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s88"}, {"n": "v6", "t": {"T": 1, "n": "int", "s": 4}, "location": "s92"}]} {"name": "ehci_state_fetchitd", "code": "__int64 __fastcall ehci_state_fetchitd ( _DWORD * @@a1@@ , int @@a2@@ ) { unsigned int @@v3@@ ; unsigned int @@v4@@ [ Number ] ; unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; if ( @@a2@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_get_fetch_addr ( ( __int64 ) @@a1@@ , Number ) ; if ( ( int ) get_dwords ( ( __int64 ) @@a1@@ , @@v3@@ & Number , @@v4@@ , Number ) < Number ) return Number ; ehci_trace_itd ( ( __int64 ) @@a1@@ , @@v3@@ , @@v4@@ ) ; if ( ( unsigned int ) ehci_process_itd ( ( __int64 ) @@a1@@ , @@v4@@ , @@v3@@ ) ) return Number ; put_dwords ( ( __int64 ) @@a1@@ , @@v3@@ & Number , @@v4@@ , Number ) ; ehci_set_fetch_addr ( ( __int64 ) @@a1@@ , Number , @@v4@@ [ Number ] ) ; ehci_set_state ( @@a1@@ , Number , Number ) ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}, {"n": "v4", "t": {"T": 2, "n": 18, "s": 4, "t": "unsigned int"}, "location": "s80"}, {"n": "v3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s84"}]} {"name": "ehci_state_fetchsitd", "code": "__int64 __fastcall ehci_state_fetchsitd ( _DWORD * @@a1@@ , int @@a2@@ ) { unsigned int @@v3@@ ; unsigned int @@v4@@ [ Number ] ; int @@v5@@ ; unsigned __int64 @@v6@@ ; @@v6@@ = __readfsqword ( Number ) ; if ( @@a2@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_get_fetch_addr ( ( __int64 ) @@a1@@ , Number ) ; if ( ( int ) get_dwords ( ( __int64 ) @@a1@@ , @@v3@@ & Number , @@v4@@ , Number ) < Number ) return Number L ; ehci_trace_sitd ( ( __int64 ) @@a1@@ , @@v3@@ , @@v4@@ ) ; if ( ( @@v5@@ & Number ) != Number ) fwrite ( String , Number , Number , stderr ) ; ehci_set_fetch_addr ( ( __int64 ) @@a1@@ , Number , @@v4@@ [ Number ] ) ; ehci_set_state ( @@a1@@ , Number , Number ) ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v5", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "v4", "t": {"T": 2, "n": 3, "s": 4, "t": "unsigned int"}, "location": "s48"}, {"n": "v3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s52"}, {"n": "v6", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_state_horizqh", "code": "__int64 __fastcall ehci_state_horizqh ( _DWORD * * @@a1@@ ) { unsigned int @@v2@@ ; @@v2@@ = Number ; if ( ( unsigned int ) ehci_get_fetch_addr ( ( __int64 ) * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) ) == * ( ( _DWORD * ) @@a1@@ + Number ) ) { ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; } else { ehci_set_fetch_addr ( ( __int64 ) * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , * ( ( _DWORD * ) @@a1@@ + Number ) ) ; ehci_set_state ( * @@a1@@ , * ( ( _DWORD * ) @@a1@@ + Number ) , Number ) ; @@v2@@ = Number ; } return @@v2@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD *"}, "location": "r56"}, {"n": "v2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}]}