>>>>> "Avi" == Avi Kivity <avi@redhat.com> writes: Avi> Is there a gdb python API for 'info symbol'? Not directly. Please at least file a feature request; but patches are also welcome :) Tom