39a40,42
> #include <bitset>
> #include <set>
>
55,57d57
< /** Pointer to the PCI configuration space */
< PciConfigAll *pciconfig;
<
67d66
< virtual void init() { if (pciconfig == NULL) panic("PCI Config not set"); }
73a73,80
> virtual Addr calcConfigAddr(int bus, int dev, int func) = 0;
> virtual void registerPciDevice(uint8_t bus, uint8_t dev, uint8_t func,
> uint8_t intr);
>
> private:
> std::bitset<256> intLines;
> std::set<uint32_t> pciDevices;
>