{"name": "virtio_rmb", "code": "__int64 __fastcall virtio_rmb ( unsigned int @@a1@@ ) { __int64 @@result@@ ; @@result@@ = @@a1@@ ; if ( ! ( _BYTE ) @@a1@@ ) abort ( ) ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}
{"name": "__vringh_get_head", "code": "__int64 __fastcall _vringh_get_head ( __int64 @@a1@@ , __int64 ( __fastcall * @@a2@@ ) ( __int64 , __int16 * , __int64 ) , _WORD * @@a3@@ ) { __int64 v3 ; __int64 v4 ; __int64 v5 ; __int64 v6 ; __int64 @@result@@ ; __int64 v8 ; __int64 v9 ; __int64 v10 ; unsigned __int16 @@v12@@ ; __int16 @@v13@@ ; unsigned __int16 @@v14@@ ; unsigned int @@v15@@ ; @@v15@@ = @@a2@@ ( @@a1@@ , & @@v13@@ , * ( _QWORD * ) ( @@a1@@ + Number ) + Number L ) ; if ( @@v15@@ ) { vringh_bad ( String , * ( _QWORD * ) ( @@a1@@ + Number ) + Number L , v3 , v4 , v5 , v6 ) ; @@result@@ = @@v15@@ ; } else if ( * @@a3@@ == @@v13@@ ) { @@result@@ = * ( unsigned int * ) ( @@a1@@ + Number ) ; } else { virtio_rmb ( * ( unsigned __int8 * ) ( @@a1@@ + Number ) ) ; @@v14@@ = * @@a3@@ & ( * ( _DWORD * ) ( @@a1@@ + Number ) - Number ) ; @@v15@@ = @@a2@@ ( @@a1@@ , ( __int16 * ) & @@v12@@ , Number L * @@v14@@ + * ( _QWORD * ) ( @@a1@@ + Number ) + Number ) ; if ( @@v15@@ ) { vringh_bad ( String , ( unsigned __int16 ) * @@a3@@ , Number L * @@v14@@ + * ( _QWORD * ) ( @@a1@@ + Number ) + Number , v8 , v9 , v10 ) ; @@result@@ = @@v15@@ ; } else if ( ( unsigned int ) @@v12@@ < * ( _DWORD * ) ( @@a1@@ + Number ) ) { ++ * @@a3@@ ; @@result@@ = @@v12@@ ; } else { vringh_bad ( String , @@v12@@ , * ( unsigned int * ) ( @@a1@@ + Number ) , v8 , v9 , v10 ) ; @@result@@ = Number L ; } } return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 3, "t": "_WORD"}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 9, "n": "__int64 (__fastcall *)(__int64, __int16 *, __int64)"}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v12", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "s10"}, {"n": "v15", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}, {"n": "v14", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "s6"}, {"n": "v13", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s8"}]}