unsigned short device;
unsigned int class; /* 3 bytes: (base,sub,prog-if) */
unsigned int hdr_type; /* PCI header type */
+ /* @todo rename this to 'enabled' */
unsigned int enable : 1; /* set if we should enable the device */
uint8_t command;
extern void assign_resources(struct bus *bus);
extern void enable_resources(struct device *dev);
extern void enumerate_static_device(void);
+extern void enumerate_static_devices(void);
extern const char *dev_path(device_t dev);
extern void compact_resources(device_t dev);
extern struct resource *get_resource(device_t dev, unsigned index);