1 files changed, 91 insertions, 0 deletions
diff --git a/src/include/device/device.h b/src/include/device/device.h
new file mode 100644
index 0000000000..e8bcfe512f
--- /dev/null
+++ b/src/include/device/device.h
@@ -0,0 +1,91 @@
+#ifndef DEVICE_H
+#define DEVICE_H
+
+#include <device/resource.h>
+
+struct device;
+struct device_operations {
+	void (*read_resources)(struct device *dev);
+	void (*set_resources)(struct device *dev);
+	void (*init)(struct device *dev);
+	unsigned int (*scan_bus)(struct device *bus, unsigned int max);
+};
+
+
+#define MAX_RESOURCES 6
+/*
+ * There is one pci_dev structure for each slot-number/function-number
+ * combination:
+ */
+
+struct device {
+	struct device	*bus;		/* bus this device is on */
+	struct device	*children;	/* devices behind this bridge */
+	struct device	*sibling;	/* next device on this bus */
+	struct device	*next;		/* chain of all devices */
+
+	unsigned int	devfn;		/* encoded device & function index */
+	unsigned short	vendor;
+	unsigned short	device;
+	unsigned int	class;		/* 3 bytes: (base,sub,prog-if) */
+	unsigned int	hdr_type;	/* PCI header type */
+	unsigned int	master : 1;	/* set if device is master capable */
+
+	unsigned char	secondary; 	/* secondary bus number */
+	unsigned char	subordinate;	/* max subordinate bus number */
+	uint8_t command;
+	/*
+	 * In theory, the irq level can be read from configuration
+	 * space and all would be fine.  However, old PCI chips don't
+	 * support these registers and return 0 instead.  For example,
+	 * the Vision864-P rev 0 chip can uses INTA, but returns 0 in
+	 * the interrupt line and pin registers.  pci_init()
+	 * initializes this field with the value at PCI_INTERRUPT_LINE
+	 * and it is the job of pcibios_fixup() to change it if
+	 * necessary.  The field must not be 0 unless the device
+	 * cannot generate interrupts at all.
+	 */
+	unsigned int	irq;		/* irq generated by this device */
+
+	/* Base registers for this device, can be adjusted by
+	 * pcibios_fixup() as necessary.
+	 */
+	struct resource resource[MAX_RESOURCES];
+	unsigned int resources;
+	unsigned long rom_address;
+	struct device_operations *ops;
+
+};
+
+extern struct device	dev_root;	/* root bus */
+extern struct device	*all_devices;	/* list of all devices */
+
+
+/* Generic device interface functions */
+extern void dev_enumerate(void);
+extern void dev_configure(void);
+extern void dev_enable(void);
+extern void dev_initialize(void);
+
+/* Generic device helper functions */
+void append_device(struct device *dev);
+void compute_allocate_resource(struct device *bus, struct resource *bridge,
+	unsigned long type_mask, unsigned long type);
+void assign_resources(struct device *bus);
+void enumerate_static_device(void);
+unsigned long device_memory_base;
+
+
+/* Helper functions */
+struct device *dev_find_device (unsigned int vendor, unsigned int device, struct device *from);
+struct device *dev_find_class (unsigned int class, struct device *from);
+struct device *dev_find_slot (unsigned int bus, unsigned int devfn);
+
+/* Rounding for boundaries. 
+ * Due to some chip bugs, go ahead and roung IO to 16
+ */
+#define DEVICE_IO_ALIGN 16 
+#define DEVICE_MEM_ALIGN 4096
+
+
+#endif /* DEVICE_H */