PCI: use Linux's PCI register #defines
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 19 Feb 2015 18:44:29 +0000 (13:44 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 1 Mar 2015 14:36:00 +0000 (09:36 -0500)
commit295df5c1154d1b8e55eebf3883cb648708dddbbb
tree953814064f4518e643f331591bbe31042e44950b
parent9ee2308fd119e7128d15d9eb53cc7084358c38ef
PCI: use Linux's PCI register #defines

We were using some of them.  Now we use a lot more.
kern/arch/x86/pci.h
kern/arch/x86/pci_regs.h [new file with mode: 0644]