3 def pid_argument(argument):
7 return f"sched_ctx.procs[({argument})]"
9 def llist_foreach(head: gdb.Value, container_type: gdb.Type, field, cb, inclusive=True):
12 offset = gdb.Value(0).cast(container_type)[field].address
13 offset_p = int(offset)
21 current = gdb.Value(int(c) - offset_p)
22 el = current.cast(container_type)
30 def get_dnode_name(dnode):
31 return dnode['name']['value'].string()
33 def get_dnode_path(dnode):
36 while (current != 0 and current != current['parent']):
37 components.append(get_dnode_name(current))
38 current = current['parent']
39 if len(components) == 0:
42 return '/'.join(reversed(components))