{"name": "__virtio32_to_cpu", "code": "__int64 __fastcall _virtio32_to_cpu ( char @@a1@@ , unsigned int @@a2@@ ) { __int64 @@result@@ ; if ( @@a1@@ ) @@result@@ = @@a2@@ ; else @@result@@ = _fswab32 ( @@a2@@ ) ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "char", "s": 1}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}