{"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": "ehci_raise_irq", "code": "unsigned __int64 __fastcall ehci_raise_irq ( __int64 @@a1@@ , int @@a2@@ ) { unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; if ( ( @@a2@@ & Number ) != Number ) { * ( _DWORD * ) ( @@a1@@ + Number ) |= @@a2@@ ; ehci_update_irq ( @@a1@@ ) ; } else { * ( _DWORD * ) ( @@a1@@ + Number ) |= @@a2@@ ; } return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_set_state", "code": "unsigned __int64 __fastcall ehci_set_state ( _DWORD * @@a1@@ , int @@a2@@ , unsigned int @@a3@@ ) { const char * v3 ; const char * v4 ; unsigned __int64 @@v7@@ ; @@v7@@ = __readfsqword ( Number ) ; if ( @@a2@@ ) { v3 = state2str ( @@a3@@ ) ; trace_usb_ehci_state ( String , v3 ) ; @@a1@@ [ Number ] = @@a3@@ ; if ( @@a1@@ [ Number ] == Number ) { ehci_clear_usbsts ( ( __int64 ) @@a1@@ , Number ) ; ehci_update_halt ( @@a1@@ ) ; } else { ehci_set_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } } else { v4 = state2str ( @@a3@@ ) ; trace_usb_ehci_state ( String , v4 ) ; @@a1@@ [ Number ] = @@a3@@ ; if ( @@a1@@ [ Number ] == Number ) { ehci_clear_usbsts ( ( __int64 ) @@a1@@ , Number ) ; ehci_update_halt ( @@a1@@ ) ; } else { ehci_set_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } } return __readfsqword ( Number ) ^ @@v7@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_get_state", "code": "__int64 __fastcall ehci_get_state ( __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_async_enabled", "code": "_BOOL8 __fastcall ehci_async_enabled ( __int64 @@a1@@ ) { return ehci_enabled ( @@a1@@ ) && ( * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) != Number ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]} {"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_queues_rip_all", "code": "unsigned __int64 __fastcall ehci_queues_rip_all ( __int64 @@a1@@ , int @@a2@@ ) { __int64 * v2 ; const char * v3 ; __int64 @@i@@ ; __int64 * @@v6@@ ; const char * @@v7@@ ; __int64 @@v8@@ ; unsigned __int64 @@v9@@ ; @@v9@@ = __readfsqword ( Number ) ; if ( @@a2@@ ) v2 = ( __int64 * ) ( @@a1@@ + Number ) ; else v2 = ( __int64 * ) ( @@a1@@ + Number ) ; @@v6@@ = v2 ; if ( @@a2@@ ) v3 = String ; else v3 = Number L ; @@v7@@ = v3 ; for ( @@i@@ = * @@v6@@ ; @@i@@ ; @@i@@ = @@v8@@ ) { @@v8@@ = * ( _QWORD * ) ( @@i@@ + Number ) ; ehci_free_queue ( @@i@@ , @@v7@@ ) ; } return __readfsqword ( Number ) ^ @@v9@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v7", "t": {"T": 3, "t": "const char"}, "location": "s24"}, {"n": "v6", "t": {"T": 3, "t": "__int64"}, "location": "s32"}, {"n": "i", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v9", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_advance_state", "code": "unsigned __int64 __fastcall ehci_advance_state ( _DWORD * @@a1@@ , int @@a2@@ ) { int @@v3@@ ; __int64 @@v4@@ ; unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; @@v4@@ = Number L ; do { switch ( ( unsigned int ) ehci_get_state ( ( __int64 ) @@a1@@ , @@a2@@ ) ) { case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; if ( @@a2@@ ) @@a1@@ [ Number ] = Number ; @@v3@@ = ehci_state_executing ( ( _DWORD * * ) @@v4@@ ) ; break ; case Number : @@v3@@ = ehci_state_waitlisthead ( @@a1@@ , @@a2@@ ) ; break ; case Number : @@v3@@ = ehci_state_fetchentry ( @@a1@@ , @@a2@@ ) ; break ; case Number : @@v4@@ = ehci_state_fetchqh ( @@a1@@ , @@a2@@ ) ; if ( @@v4@@ ) { if ( @@a2@@ != * ( _DWORD * ) ( @@v4@@ + Number ) ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = Number ; } else { @@v3@@ = Number ; } break ; case Number : @@v3@@ = ehci_state_fetchitd ( @@a1@@ , @@a2@@ ) ; break ; case Number : @@v3@@ = ehci_state_fetchsitd ( @@a1@@ , @@a2@@ ) ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_advqueue ( @@v4@@ ) ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_fetchqtd ( ( _DWORD * * ) @@v4@@ ) ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_execute ( ( _DWORD * * ) @@v4@@ ) ; if ( @@a2@@ ) @@a1@@ [ Number ] = Number ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_writeback ( ( _DWORD * * ) @@v4@@ ) ; if ( ! @@a2@@ ) @@a1@@ [ Number ] = Number ; break ; case Number : if ( ! @@v4@@ ) _assert_fail ( String , String , Number , String ) ; @@v3@@ = ehci_state_horizqh ( ( _DWORD * * ) @@v4@@ ) ; break ; default : fwrite ( String , Number , Number , stderr ) ; @@v3@@ = Number ; g_assertion_message_expr ( Number L , String , Number L , String , Number L ) ; break ; } if ( @@v3@@ < Number ) { fwrite ( String , Number , Number , stderr ) ; ehci_reset ( ( __int64 ) @@a1@@ ) ; @@v3@@ = Number ; } } while ( @@v3@@ ) ; return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v3", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_frame_timer", "code": "unsigned __int64 __fastcall ehci_frame_timer ( __int64 @@a1@@ ) { int @@v2@@ ; int @@v3@@ ; int @@i@@ ; int @@v5@@ ; __int64 @@v6@@ ; __int64 @@v7@@ ; unsigned __int64 @@v8@@ ; @@v8@@ = __readfsqword ( Number ) ; @@v2@@ = Number ; @@v7@@ = qemu_clock_get_ns ( Number L ) ; @@v3@@ = ( @@v7@@ - * ( _QWORD * ) ( @@a1@@ + Number ) ) / Number ; if ( ! ehci_periodic_enabled ( @@a1@@ ) && * ( _DWORD * ) ( @@a1@@ + Number ) == Number ) { * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; ehci_update_frindex ( ( _DWORD * ) @@a1@@ , @@v3@@ ) ; * ( _QWORD * ) ( @@a1@@ + Number ) += Number * @@v3@@ ; } else { @@v2@@ = Number ; if ( Number * * ( _DWORD * ) ( @@a1@@ + Number ) < ( unsigned int ) @@v3@@ ) { @@v5@@ = @@v3@@ - Number * * ( _DWORD * ) ( @@a1@@ + Number ) ; ehci_update_frindex ( ( _DWORD * ) @@a1@@ , @@v5@@ ) ; * ( _QWORD * ) ( @@a1@@ + Number ) += Number * @@v5@@ ; @@v3@@ -= @@v5@@ ; } for ( @@i@@ = Number ; @@i@@ < @@v3@@ ; ++ @@i@@ ) { if ( @@i@@ > Number ) { ehci_commit_irq ( ( _DWORD * ) @@a1@@ ) ; if ( ( ( unsigned __int8 ) * ( _DWORD * ) ( @@a1@@ + Number ) & ( unsigned __int8 ) * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) != Number ) break ; } if ( * ( _DWORD * ) ( @@a1@@ + Number ) ) -- * ( _DWORD * ) ( @@a1@@ + Number ) ; ehci_update_frindex ( ( _DWORD * ) @@a1@@ , Number ) ; if ( ( * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) == Number ) ehci_advance_periodic_state ( ( _DWORD * ) @@a1@@ ) ; * ( _QWORD * ) ( @@a1@@ + Number ) += Number L ; } } if ( * ( _DWORD * ) ( @@a1@@ + Number ) ) { * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; } else if ( * ( _DWORD * ) ( @@a1@@ + Number ) < * ( _DWORD * ) ( @@a1@@ + Number ) >> Number ) { ++ * ( _DWORD * ) ( @@a1@@ + Number ) ; } if ( ehci_async_enabled ( @@a1@@ ) || * ( _DWORD * ) ( @@a1@@ + Number ) != Number ) { ++ @@v2@@ ; ehci_advance_async_state ( ( _DWORD * ) @@a1@@ ) ; } ehci_commit_irq ( ( _DWORD * ) @@a1@@ ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) ) { ++ @@v2@@ ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; } if ( ehci_enabled ( @@a1@@ ) && ( * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) != Number ) ++ @@v2@@ ; if ( @@v2@@ ) { if ( * ( _BYTE * ) ( @@a1@@ + Number ) && ( * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) != Number ) { @@v6@@ = get_ticks_per_sec ( ) / Number + @@v7@@ ; * ( _BYTE * ) ( @@a1@@ + Number ) = Number ; } else { @@v6@@ = ( unsigned int ) ( * ( _DWORD * ) ( @@a1@@ + Number ) + Number ) * get_ticks_per_sec ( ) / Number + @@v7@@ ; } timer_mod ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@v6@@ ) ; } return __readfsqword ( Number ) ^ @@v8@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v5", "t": {"T": 1, "n": "int", "s": 4}, "location": "s44"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s48"}, {"n": "v3", "t": {"T": 1, "n": "int", "s": 4}, "location": "s52"}, {"n": "v2", "t": {"T": 1, "n": "int", "s": 4}, "location": "s56"}, {"n": "v8", "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"}]}