{"name": "copy_to_user", "code": "__int64 __fastcall copy_to_user ( _BYTE * @@a1@@ , _BYTE * @@a2@@ , __int64 @@a3@@ ) { _chk_user_ptr ( ( unsigned __int64 ) @@a1@@ , @@a3@@ ) ; volatile_memcpy ( @@a1@@ , @@a2@@ , @@a3@@ ) ; return Number L ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_BYTE"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_BYTE"}, "location": "r64"}]}
{"name": "volatile_memcpy", "code": "__int64 __fastcall volatile_memcpy ( _BYTE * @@a1@@ , _BYTE * @@a2@@ , __int64 @@a3@@ ) { _BYTE * v3 ; _BYTE * v4 ; __int64 result ; while ( Number ) { result = @@a3@@ -- ; if ( ! result ) break ; v3 = @@a2@@ ++ ; v4 = @@a1@@ ++ ; * v4 = * v3 ; } return result ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_BYTE"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_BYTE"}, "location": "r64"}]} {"name": "putused_user", "code": "__int64 __fastcall putused_user ( _BYTE * @@a1@@ , _BYTE * @@a2@@ , unsigned int @@a3@@ ) { __int64 @@result@@ ; if ( ( unsigned int ) copy_to_user ( @@a1@@ , @@a2@@ , Number L * @@a3@@ ) ) @@result@@ = Number L ; else @@result@@ = Number L ; return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_BYTE"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_BYTE"}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]} {"name": "xfer_to_user", "code": "__int64 __fastcall xfer_to_user ( _BYTE * @@a1@@ , _BYTE * @@a2@@ , __int64 @@a3@@ ) { __int64 @@result@@ ; if ( ( unsigned int ) copy_to_user ( @@a1@@ , @@a2@@ , @@a3@@ ) ) @@result@@ = Number L ; else @@result@@ = Number L ; return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_BYTE"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_BYTE"}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}