{"name": "pcie_host_init", "code": "__int64 __fastcall pcie_host_init ( __int64 @@a1@@ ) { __int64 @@result@@ ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = cpu_register_io_memory ( pcie_mmcfg_read , pcie_mmcfg_write , @@a1@@ ) ; if ( * ( int * ) ( @@a1@@ + Number ) >= Number ) @@result@@ = Number L ; else @@result@@ = Number ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}