{"name": "platform_bus_get_mmio_addr", "code": "__int64 __fastcall platform_bus_get_mmio_addr ( __int64 @@a1@@ , __int64 @@a2@@ , unsigned int @@a3@@ ) { __int64 @@result@@ ; __int64 @@v4@@ ; __int64 @@v5@@ ; @@v4@@ = sysbus_mmio_get_region ( @@a2@@ , @@a3@@ ) ; if ( ( unsigned __int8 ) memory_region_is_mapped ( @@v4@@ ) != Number ) return Number ; @@v5@@ = object_property_get_link ( @@v4@@ , String , Number L ) ; if ( ! @@v5@@ ) _assert_fail ( String , String , Number , String ) ; if ( @@v5@@ == @@a1@@ + Number ) @@result@@ = object_property_get_int ( @@v4@@ , String , Number L ) ; else @@result@@ = Number ; return @@result@@ ; }", "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": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}]}