{"name": "vmxnet_tx_pkt_add_raw_fragment", "code": "_BOOL8 __fastcall vmxnet_tx_pkt_add_raw_fragment ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { __int64 @@v4@@ ; __int64 @@v6@@ ; __int64 * @@v7@@ ; unsigned __int64 @@v8@@ ; @@v8@@ = __readfsqword ( Number ) ; @@v6@@ = Number L ; if ( ! @@a1@@ ) _assert_fail ( String , String , Number , String ) ; if ( * ( _DWORD * ) ( @@a1@@ + Number ) <= * ( _DWORD * ) ( @@a1@@ + Number ) ) _assert_fail ( String , String , Number , String ) ; if ( ! @@a3@@ ) return Number L ; @@v7@@ = ( __int64 * ) ( * ( _QWORD * ) ( @@a1@@ + Number ) + Number L * * ( unsigned int * ) ( @@a1@@ + Number ) ) ; @@v6@@ = @@a3@@ ; @@v4@@ = cpu_physical_memory_map ( @@a2@@ , & @@v6@@ , Number L ) ; * @@v7@@ = @@v4@@ ; @@v7@@ [ Number ] = @@v6@@ ; * ( _DWORD * ) ( @@a1@@ + Number ) += * @@v7@@ != Number ; return * @@v7@@ && @@a3@@ == @@v6@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v7", "t": {"T": 3, "t": "__int64"}, "location": "s16"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v8", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}