src/include/device/device.h

   1 #ifndef DEVICE_H
   2 #define DEVICE_H
   3
   4 #include <device/resource.h>
   5
   6 struct device;
   7 typedef struct device * device_t;
   8
   9 struct device_operations {
  10         void (*read_resources)(device_t dev);
  11         void (*set_resources)(device_t dev);
  12         void (*init)(device_t dev);
  13         unsigned int (*scan_bus)(device_t  bus, unsigned int max);
  14 };
  15
  16
  17 #define MAX_RESOURCES 6
  18 /*
  19  * There is one pci_dev structure for each slot-number/function-number
  20  * combination:
  21  */
  22
  23 struct device {
  24         device_t bus;           /* bus this device is on */
  25         device_t children;      /* devices behind this bridge */
  26         device_t sibling;       /* next device on this bus */
  27         device_t next;          /* chain of all devices */
  28
  29         unsigned int    devfn;          /* encoded device & function index */
  30         unsigned short  vendor;
  31         unsigned short  device;
  32         unsigned int    class;          /* 3 bytes: (base,sub,prog-if) */
  33         unsigned int    hdr_type;       /* PCI header type */
  34         unsigned int    master : 1;     /* set if device is master capable */
  35
  36         unsigned char   secondary;      /* secondary bus number */
  37         unsigned char   subordinate;    /* max subordinate bus number */
  38         uint8_t command;
  39         /*
  40          * In theory, the irq level can be read from configuration
  41          * space and all would be fine.  However, old PCI chips don't
  42          * support these registers and return 0 instead.  For example,
  43          * the Vision864-P rev 0 chip can uses INTA, but returns 0 in
  44          * the interrupt line and pin registers.  pci_init()
  45          * initializes this field with the value at PCI_INTERRUPT_LINE
  46          * and it is the job of pcibios_fixup() to change it if
  47          * necessary.  The field must not be 0 unless the device
  48          * cannot generate interrupts at all.
  49          */
  50         unsigned int    irq;            /* irq generated by this device */
  51
  52         /* Base registers for this device, can be adjusted by
  53          * pcibios_fixup() as necessary.
  54          */
  55         struct resource resource[MAX_RESOURCES];
  56         unsigned int resources;
  57         unsigned long rom_address;
  58         struct device_operations *ops;
  59
  60 };
  61
  62 extern struct device    dev_root;       /* root bus */
  63 extern struct device    *all_devices;   /* list of all devices */
  64
  65
  66 /* Generic device interface functions */
  67 extern void dev_enumerate(void);
  68 extern void dev_configure(void);
  69 extern void dev_enable(void);
  70 extern void dev_initialize(void);
  71
  72 /* Generic device helper functions */
  73 void append_device(device_t dev);
  74 void compute_allocate_resource(device_t bus, struct resource *bridge,
  75         unsigned long type_mask, unsigned long type);
  76 void assign_resources(device_t bus);
  77 void enumerate_static_device(void);
  78 unsigned long device_memory_base;
  79
  80
  81 /* Helper functions */
  82 device_t dev_find_device (unsigned int vendor, unsigned int device, device_t from);
  83 device_t dev_find_class (unsigned int class, device_t from);
  84 device_t dev_find_slot (unsigned int bus, unsigned int devfn);
  85
  86 /* Rounding for boundaries.
  87  * Due to some chip bugs, go ahead and roung IO to 16
  88  */
  89 #define DEVICE_IO_ALIGN 16
  90 #define DEVICE_MEM_ALIGN 4096
  91
  92
  93 #endif /* DEVICE_H */