{"name": "dma_barrier", "code": "unsigned __int64 dma_barrier ( ) { unsigned __int64 @@v1@@ ; @@v1@@ = __readfsqword ( Number ) ; if ( kvm_allowed ) _mm_mfence ( ) ; return __readfsqword ( Number ) ^ @@v1@@ ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}
{"name": "dma_memory_rw", "code": "__int64 __fastcall dma_memory_rw ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ , unsigned int @@a4@@ , int @@a5@@ ) { dma_barrier ( ) ; return dma_memory_rw_relaxed ( @@a1@@ , @@a2@@ , @@a3@@ , @@a4@@ , @@a5@@ ) ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "a5", "t": {"T": 1, "n": "int", "s": 4}, "location": "r72"}]}