blob: ec17400c1103076c9681fb50d035beac962f14ba (
plain)
1
2
3
4
5
6
7
8
|
#
# RTEMS GDB support helper routins.
def tasks_printer_rotuine(wait_queue):
tasks = wait_queue.tasks()
print ' Queue: len = %d, state = %s' % (len(tasks),wait_queue.state())
for t in range(0, len(tasks)):
print ' ', tasks[t].brief(), ' (%08x)' % (tasks[t].id())
|