{"name": "cpu_dump_state", "code": "unsigned __int64 __fastcall cpu_dump_state ( __int64 @@a1@@ , __int64 @@a2@@ , void ( * @@a3@@ ) ( __int64 , const char * , ... ) ) { __int64 @@v3@@ ; __int64 @@v4@@ ; __int64 v5 ; unsigned int @@v6@@ ; unsigned int @@v7@@ ; unsigned int v8 ; int @@i@@ ; int @@v13@@ ; unsigned __int64 @@v14@@ ; @@v14@@ = __readfsqword ( Number ) ; for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) { @@a3@@ ( @@a2@@ , String , ( unsigned int ) @@i@@ , * ( unsigned int * ) ( @@a1@@ + Number L * @@i@@ ) ) ; if ( @@i@@ % Number == Number ) @@a3@@ ( @@a2@@ , String ) ; else @@a3@@ ( @@a2@@ , String ) ; } @@v13@@ = cpsr_read ( @@a1@@ ) ; if ( ( @@v13@@ & Number ) != Number ) @@v3@@ = Number L ; else @@v3@@ = Number L ; if ( ( @@v13@@ & Number ) != Number ) @@v4@@ = Number L ; else @@v4@@ = Number L ; if ( ( @@v13@@ & Number ) != Number ) v5 = Number L ; else v5 = Number L ; if ( ( @@v13@@ & Number ) != Number ) @@v6@@ = Number ; else @@v6@@ = Number ; if ( ( @@v13@@ & Number ) != Number ) @@v7@@ = Number ; else @@v7@@ = Number ; if ( @@v13@@ >= Number ) v8 = Number ; else v8 = Number ; @@a3@@ ( @@a2@@ , String , ( unsigned int ) @@v13@@ , v8 , @@v7@@ , @@v6@@ , v5 , @@v4@@ , cpu_mode_names [ @@v13@@ & Number ] , @@v3@@ ) ; return __readfsqword ( Number ) ^ @@v14@@ ; }", "source": [{"n": "a3", "t": {"T": 9, "n": "void (*)(__int64, const char *, ...)"}, "location": "r16"}, {"n": "v6", "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": "__int64", "s": 8}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r72"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r80"}, {"n": "v7", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r96"}, {"n": "v14", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s24"}, {"n": "v13", "t": {"T": 1, "n": "int", "s": 4}, "location": "s28"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s32"}]}