{"name": "pcie_host_mmcfg_map", "code": "unsigned __int64 __fastcall pcie_host_mmcfg_map ( __int64 @@a1@@ , __int64 @@a2@@ , unsigned int @@a3@@ ) { unsigned __int64 @@v4@@ ; @@v4@@ = __readfsqword ( Number ) ; if ( ( @@a3@@ & ( @@a3@@ - Number ) ) != Number ) _assert_fail ( String , String , Number , String ) ; if ( @@a3@@ <= Number ) _assert_fail ( String , String , Number , String ) ; if ( @@a3@@ > Number ) _assert_fail ( String , String , Number , String ) ; * ( _QWORD * ) ( @@a1@@ + Number ) = @@a2@@ ; * ( _QWORD * ) ( @@a1@@ + Number ) = @@a3@@ ; cpu_register_physical_memory ( * ( _QWORD * ) ( @@a1@@ + Number ) , * ( _QWORD * ) ( @@a1@@ + Number ) , * ( int * ) ( @@a1@@ + 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": "__int64", "s": 8}, "location": "r64"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}
{"name": "cpu_register_physical_memory", "code": "unsigned __int64 __fastcall cpu_register_physical_memory ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { unsigned __int64 @@v4@@ ; @@v4@@ = __readfsqword ( Number ) ; cpu_register_physical_memory_offset ( @@a1@@ , @@a2@@ , @@a3@@ , Number L ) ; return __readfsqword ( Number ) ^ @@v4@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"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": "unsigned __int64", "s": 8}, "location": "s8"}]} {"name": "pcie_host_mmcfg_update", "code": "unsigned __int64 __fastcall pcie_host_mmcfg_update ( __int64 @@a1@@ , int @@a2@@ , __int64 @@a3@@ , unsigned int @@a4@@ ) { unsigned __int64 @@v7@@ ; @@v7@@ = __readfsqword ( Number ) ; pcie_host_mmcfg_unmap ( @@a1@@ ) ; if ( @@a2@@ ) pcie_host_mmcfg_map ( @@a1@@ , @@a3@@ , @@a4@@ ) ; return __readfsqword ( Number ) ^ @@v7@@ ; }", "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": "int", "s": 4}, "location": "r64"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}