{"name": "ehci_port_read", "code": "__int64 __fastcall ehci_port_read ( __int64 @@a1@@ , unsigned __int64 @@a2@@ ) { unsigned int @@v3@@ ; @@v3@@ = * ( _DWORD * ) ( @@a1@@ + Number * ( ( @@a2@@ >> Number ) + Number ) + Number ) ; trace_usb_ehci_portsc_read ( * ( unsigned __int16 * ) ( @@a1@@ + Number ) + ( unsigned int ) @@a2@@ , ( unsigned int ) ( @@a2@@ >> Number ) , @@v3@@ ) ; return @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s20"}]}