Reading a static variable in Python

[Chris Johns]

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