-Tinkered with formatting
[pintos-anon] / src / devices / usb.c
1 #include <list.h>
2 #include <stdio.h>
3 #include "devices/pci.h"
4 #include "devices/usb.h"
5
6 extern struct list pci_dev_list;
7
8 void usb_init(void)
9 {
10   printf ("\n");
11   printf ("USB: Initializing\n");
12
13   /* Scan PCI devices for USB controllers */
14   struct list_elem *e;
15
16   for (e = list_begin (&pci_dev_list); e != list_end (&pci_dev_list);
17        e = list_next (e))
18     {
19       struct pci_dev *dev = list_entry (e, struct pci_dev, elem);
20
21       if (dev->base_class == USB_BASE_CLASS &&
22           dev->sub_class == USB_SUB_CLASS)
23         {
24           printf ("USB: Found controller at %04x:%02x:%02x.%x\n",
25                   0, dev->bus_id, dev->devfn >> 4, dev->devfn & 0xf);
26         }
27     }
28   printf ("USB: Initialization done\n");
29   printf ("\n");
30 }