Chris Johns
2010-03-10 03:38:09 UTC
Hello,
I am adding pretty printers for RTEMS to gdb. In the RTEMS operating
system elements such as a semaphore are given an id. I would like to
print the actual semaphore data given a semaphore id. To do this I need
to read a kernel structure from a table indexed via a bit field in the
id. As an example the semaphore's table is declared in RTEMS as:
RTEMS_SEM_EXTERN Objects_Information _Semaphore_Information;
How would I read the 10 element of the _Semaphore_Information in Python ?
I am stuck on how to create a new gdb.Value variable in Python.
Thanks
Chris
I am adding pretty printers for RTEMS to gdb. In the RTEMS operating
system elements such as a semaphore are given an id. I would like to
print the actual semaphore data given a semaphore id. To do this I need
to read a kernel structure from a table indexed via a bit field in the
id. As an example the semaphore's table is declared in RTEMS as:
RTEMS_SEM_EXTERN Objects_Information _Semaphore_Information;
How would I read the 10 element of the _Semaphore_Information in Python ?
I am stuck on how to create a new gdb.Value variable in Python.
Thanks
Chris