95 Decoder = namedtuple("Decoder", "eid name fn")
99     decoder = next((d for d in table if d.eid == index), None)
106         return decoder.fn(decoder.eid, decoder.name, dumpfile)
109 def print_event(eid, name, string=None, event_count=None):  argument
115         print("%d:%s(%d) %s" % (event_count, name, eid, string))
117         print("%d:%s(%d)" % (event_count, name, eid))
122 def decode_unimp(eid, name, _unused_dumpfile):  argument
127 def decode_plain(eid, name, _unused_dumpfile):  argument
129     print_event(eid, name, "no data")
133 def swallow_async_qword(eid, name, dumpfile):  argument
136     print("  %s(%d) @ %d" % (name, eid, step_id))
139 def swallow_bytes(eid, name, dumpfile, nr):  argument
145 def decode_instruction(eid, name, dumpfile):  argument
149     print_event(eid, name, "+ %d -> %d" % (ins_diff, total_insns))
152 def decode_interrupt(eid, name, dumpfile):  argument
153     print_event(eid, name)
156 def decode_exception(eid, name, dumpfile):  argument
157     print_event(eid, name)
171 def decode_async_old(eid, name, dumpfile):  argument
174     print_event(eid, name)
186 def decode_async_bh(eid, name, dumpfile):  argument
188     print_event(eid, name)
191 def decode_async_bh_oneshot(eid, name, dumpfile):  argument
193     print_event(eid, name)
196 def decode_async_char_read(eid, name, dumpfile):  argument
199     print_event(eid, name, "device:%x chars:%s" % (char_id, dumpfile.read(size)))
202 def decode_async_block(eid, name, dumpfile):  argument
204     print_event(eid, name)
207 def decode_async_net(eid, name, dumpfile):  argument
211     swallow_bytes(eid, name, dumpfile, size)
212     print_event(eid, name, "net:%x flags:%x bytes:%d" % (net_id, flags, size))
215 def decode_shutdown(eid, name, dumpfile):  argument
216     print_event(eid, name)
219 def decode_char_write(eid, name, dumpfile):  argument
222     print_event(eid, name, "%d -> %d" % (offset, res))
225 def decode_audio_out(eid, name, dumpfile):  argument
227     print_event(eid, name, "%d" % (audio_data))
230 def decode_random(eid, name, dumpfile):  argument
233     swallow_bytes(eid, name, dumpfile, size)
235         print_event(eid, name, "%d bytes (getrandom failed)" % (size))
237         print_event(eid, name, "%d bytes" % (size))
240 def decode_clock(eid, name, dumpfile):  argument
242     print_event(eid, name, "0x%x" % (clock_data))
245 def __decode_checkpoint(eid, name, dumpfile, old):  argument
258         print_event(eid, name, "more data follows", event_number)
260         print_event(eid, name, "no additional data", event_number)
265 def decode_checkpoint_old(eid, name, dumpfile):  argument
266     return __decode_checkpoint(eid, name, dumpfile, False)
268 def decode_checkpoint(eid, name, dumpfile):  argument
269     return __decode_checkpoint(eid, name, dumpfile, True)
271 def decode_checkpoint_init(eid, name, dumpfile):  argument
272     print_event(eid, name)
275 def decode_end(eid, name, dumpfile):  argument
276     print_event(eid, name)