{"name": "_Z27device_spin_until_interruptP8device_t", "code": "__int64 __fastcall device_spin_until_interrupt ( device_t * @@a1@@ ) { device_execute_interface * @@v1@@ ; @@v1@@ = device_execute ( @@a1@@ ) ; return device_execute_interface spin_until_interrupt ( @@v1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "device_t"}, "location": "r56"}, {"n": "v1", "t": {"T": 3, "t": "device_execute_interface"}, "location": "r8"}]}