{"name": "qemu_irq_lower", "code": "__int64 __fastcall qemu_irq_lower ( __int64 @@a1@@ ) { return qemu_set_irq ( @@a1@@ , Number L ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]}
{"name": "kbd_write_command", "code": "int __fastcall kbd_write_command ( __int64 @@a1@@ , __int64 @@a2@@ , unsigned __int64 @@a3@@ ) { int @@result@@ ; unsigned __int64 @@v4@@ ; @@v4@@ = @@a3@@ ; if ( ( @@a3@@ & Number ) == Number ) { if ( ( @@a3@@ & Number ) != Number ) @@v4@@ = Number L ; else @@v4@@ = Number L ; } if ( @@v4@@ > Number ) return fprintf ( stderr , String , ( unsigned int ) @@v4@@ ) ; if ( @@v4@@ < Number ) { if ( @@v4@@ == Number ) return kbd_queue ( @@a1@@ , * ( unsigned __int8 * ) ( @@a1@@ + Number ) , Number ) ; if ( @@v4@@ == Number ) { LABEL_12 : @@result@@ = @@a1@@ ; * ( _BYTE * ) @@a1@@ = @@v4@@ ; return @@result@@ ; } return fprintf ( stderr , String , ( unsigned int ) @@v4@@ ) ; } @@result@@ = @@v4@@ - Number ; switch ( @@v4@@ ) { case Number : @@result@@ = @@a1@@ ; * ( _BYTE * ) ( @@a1@@ + Number ) |= Number ; break ; case Number : @@result@@ = @@a1@@ ; * ( _BYTE * ) ( @@a1@@ + Number ) &= Number ; break ; case Number : case Number : @@result@@ = kbd_queue ( @@a1@@ , Number , Number ) ; break ; case Number : * ( _BYTE * ) ( @@a1@@ + Number ) |= Number ; @@result@@ = kbd_queue ( @@a1@@ , Number , Number ) ; break ; case Number : * ( _BYTE * ) ( @@a1@@ + Number ) |= Number ; @@result@@ = kbd_update_irq ( @@a1@@ ) ; break ; case Number : * ( _BYTE * ) ( @@a1@@ + Number ) &= Number ; @@result@@ = kbd_update_irq ( @@a1@@ ) ; break ; case Number : @@result@@ = kbd_queue ( @@a1@@ , Number , Number ) ; break ; case Number : @@result@@ = kbd_queue ( @@a1@@ , * ( unsigned __int8 * ) ( @@a1@@ + Number ) , Number ) ; break ; case Number : case Number : case Number : case Number : goto LABEL_12 ; case Number : if ( * ( _QWORD * ) ( @@a1@@ + Number ) ) qemu_irq_lower ( * * ( _QWORD * * ) ( @@a1@@ + Number ) ) ; @@result@@ = @@a1@@ ; * ( _BYTE * ) ( @@a1@@ + Number ) &= Number ; break ; case Number : if ( * ( _QWORD * ) ( @@a1@@ + Number ) ) qemu_irq_raise ( * * ( _QWORD * * ) ( @@a1@@ + Number ) ) ; @@result@@ = @@a1@@ ; * ( _BYTE * ) ( @@a1@@ + Number ) |= Number ; break ; case Number : @@result@@ = qemu_system_reset_request ( ) ; break ; case Number : return @@result@@ ; default : return fprintf ( stderr , String , ( unsigned int ) @@v4@@ ) ; } return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned __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": "result", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s40"}]}