{"name": "pcie_mmcfg_data_writel", "code": "unsigned __int64 __fastcall pcie_mmcfg_data_writel ( __int64 @@a1@@ , __int16 @@a2@@ , unsigned int @@a3@@ ) { unsigned __int64 @@v4@@ ; @@v4@@ = __readfsqword ( Number ) ; pcie_mmcfg_data_write ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@a2@@ - * ( _QWORD * ) ( @@a1@@ + Number ) , @@a3@@ , Number ) ; return __readfsqword ( Number ) ^ @@v4@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}
{"name": "pcie_mmcfg_data_write", "code": "unsigned __int64 __fastcall pcie_mmcfg_data_write ( __int64 @@a1@@ , __int16 @@a2@@ , unsigned int @@a3@@ , unsigned int @@a4@@ ) { __int64 @@v7@@ ; unsigned __int64 @@v8@@ ; @@v8@@ = __readfsqword ( Number ) ; @@v7@@ = pcie_dev_find_by_mmcfg_addr ( @@a1@@ , @@a2@@ ) ; if ( @@v7@@ ) ( * ( void ( __fastcall * * ) ( __int64 , _QWORD , _QWORD , _QWORD ) ) ( @@v7@@ + Number ) ) ( @@v7@@ , @@a2@@ & Number , @@a3@@ , @@a4@@ ) ; return __readfsqword ( Number ) ^ @@v8@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "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": "__int16", "s": 2}, "location": "r64"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v8", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}