{"name": "ehci_clear_usbsts", "code": "unsigned __int64 __fastcall ehci_clear_usbsts ( __int64 @@a1@@ , int @@a2@@ ) { unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; if ( ( * ( _DWORD * ) ( @@a1@@ + Number ) & @@a2@@ ) != Number ) { ehci_trace_usbsts ( @@a2@@ , Number ) ; * ( _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_trace_usbsts", "code": "unsigned __int64 __fastcall ehci_trace_usbsts ( __int16 @@a1@@ , unsigned int @@a2@@ ) { unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; if ( ( @@a1@@ & Number ) != Number ) trace_usb_ehci_usbsts ( String , @@a2@@ ) ; return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "ehci_update_halt", "code": "unsigned __int64 __fastcall ehci_update_halt ( _DWORD * @@a1@@ ) { unsigned __int64 @@v2@@ ; @@v2@@ = __readfsqword ( Number ) ; if ( ( @@a1@@ [ Number ] & Number ) != Number ) { ehci_clear_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } else if ( @@a1@@ [ Number ] == Number && @@a1@@ [ Number ] == Number ) { ehci_set_usbsts ( ( __int64 ) @@a1@@ , Number ) ; } return __readfsqword ( Number ) ^ @@v2@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "v2", "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_opreg_write", "code": "unsigned __int64 __fastcall ehci_opreg_write ( __int64 @@a1@@ , unsigned __int64 @@a2@@ , unsigned int @@a3@@ ) { const char * v4 ; unsigned int @@v5@@ ; const char * v6 ; __int64 @@v8@@ ; int @@i@@ ; unsigned int @@v10@@ ; unsigned int * @@v11@@ ; unsigned __int64 @@v12@@ ; LODWORD ( @@v8@@ ) = @@a3@@ ; @@v12@@ = __readfsqword ( Number ) ; @@v11@@ = ( unsigned int * ) ( @@a1@@ + Number + Number * ( @@a2@@ >> Number ) ) ; @@v10@@ = * @@v11@@ ; v4 = addr2str ( @@a2@@ ) ; trace_usb_ehci_opreg_write ( ( unsigned int ) @@a2@@ + * ( unsigned __int16 * ) ( @@a1@@ + Number ) , v4 , @@a3@@ ) ; if ( @@a2@@ > Number ) { if ( @@a2@@ == Number ) { @@v8@@ &= Number ; if ( @@v8@@ ) { for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) handle_port_owner_write ( @@a1@@ , @@i@@ , Number ) ; } } } else { switch ( @@a2@@ ) { case Number : if ( ( @@v8@@ & Number ) != Number ) { ehci_reset ( @@a1@@ ) ; LODWORD ( @@v8@@ ) = * ( _DWORD * ) ( @@a1@@ + Number ) ; } else { if ( ( @@v8@@ & Number ) != Number && ( * ( _DWORD * ) ( @@a1@@ + Number ) & Number ) == Number ) { fprintf ( stderr , String , @@v8@@ & Number ) ; LODWORD ( @@v8@@ ) = @@v8@@ & Number ; } if ( ( @@v8@@ & Number ) != Number ) { * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; qemu_bh_schedule ( * ( _QWORD * ) ( @@a1@@ + Number ) ) ; trace_usb_ehci_doorbell_ring ( ) ; } if ( ( ( ( unsigned __int8 ) @@v8@@ ^ ( unsigned __int8 ) * ( _DWORD * ) ( @@a1@@ + Number ) ) & Number ) != Number ) { if ( * ( _DWORD * ) ( @@a1@@ + Number ) == Number ) * ( _QWORD * ) ( @@a1@@ + Number ) = qemu_clock_get_ns ( Number L ) ; * ( _DWORD * ) ( @@a1@@ + Number ) = @@v8@@ ; ehci_update_halt ( ( _DWORD * ) @@a1@@ ) ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; qemu_bh_schedule ( * ( _QWORD * ) ( @@a1@@ + Number ) ) ; } } break ; case Number : ehci_clear_usbsts ( @@a1@@ , @@v8@@ & Number ) ; LODWORD ( @@v8@@ ) = * ( _DWORD * ) ( @@a1@@ + Number ) ; ehci_update_irq ( @@a1@@ ) ; break ; case Number : LODWORD ( @@v8@@ ) = @@v8@@ & Number ; if ( ehci_enabled ( @@a1@@ ) && ( @@v8@@ & Number ) != Number ) qemu_bh_schedule ( * ( _QWORD * ) ( @@a1@@ + Number ) ) ; break ; case Number : LODWORD ( @@v8@@ ) = @@v8@@ & Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = @@v8@@ ; break ; case Number : if ( ehci_periodic_enabled ( @@a1@@ ) ) fwrite ( String , Number , Number , stderr ) ; break ; case Number : if ( ehci_async_enabled ( @@a1@@ ) ) fwrite ( String , Number , Number , stderr ) ; break ; default : break ; } } * @@v11@@ = @@v8@@ ; @@v5@@ = * @@v11@@ ; v6 = addr2str ( @@a2@@ ) ; trace_usb_ehci_opreg_change ( * ( unsigned __int16 * ) ( @@a1@@ + Number ) + ( unsigned int ) @@a2@@ , v6 , @@v5@@ , @@v10@@ ) ; return __readfsqword ( Number ) ^ @@v12@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "v5", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r32"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "r64"}, {"n": "v12", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s24"}, {"n": "v11", "t": {"T": 3, "t": "unsigned int"}, "location": "s32"}, {"n": "v10", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s44"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s48"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s72"}]} {"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"}]}