{"name": "vmxnet_tx_pkt_setup_vlan_header", "code": "unsigned __int64 __fastcall vmxnet_tx_pkt_setup_vlan_header ( __int64 @@a1@@ , unsigned __int16 @@a2@@ ) { char @@v3@@ ; unsigned __int64 @@v4@@ ; @@v4@@ = __readfsqword ( Number ) ; if ( ! @@a1@@ ) _assert_fail ( String , String , Number , String ) ; eth_setup_vlan_headers ( * ( _QWORD * ) ( * ( _QWORD * ) ( @@a1@@ + Number ) + Number L ) , @@a2@@ , & @@v3@@ ) ; if ( @@v3@@ ) { * ( _WORD * ) ( @@a1@@ + Number ) += Number ; * ( _QWORD * ) ( * ( _QWORD * ) ( @@a1@@ + Number ) + Number L ) += Number L ; } return __readfsqword ( Number ) ^ @@v4@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}, {"n": "v3", "t": {"T": 1, "n": "char", "s": 1}, "location": "s9"}]}