pci: Make Python wrapper cast to the right type
authorAndreas Sandberg <Andreas.Sandberg@arm.com>
Fri, 2 Nov 2012 16:32:01 +0000 (11:32 -0500)
committerAndreas Sandberg <Andreas.Sandberg@arm.com>
Fri, 2 Nov 2012 16:32:01 +0000 (11:32 -0500)
commit044a6525876efc61838dffa89ac52425d510b754
treef19287d0e5f2ab3dc21eacced524577cecd70a56
parent249e318212a95965f7adc325c6e3dcfe213cb98a
pci: Make Python wrapper cast to the right type

The PCI base class is PciDev and not PciDevice, which is used by the
Python world. Make sure this is reflected in the wrapper code.
src/dev/Pci.py