Adds PCI iobar helper
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 23 Jan 2015 00:03:55 +0000 (19:03 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 3 Feb 2015 15:12:30 +0000 (10:12 -0500)
commit6a1d4e36a42e1d4a72d0816caa26d6cdbb665f5a
tree1b72f5e055ed910ce8b03082ec844682c481ae64
parentd61d0d72d8b5d88e6e0afb2b63ca315063aa9707
Adds PCI iobar helper

This stuff is a bit clunky; you need to check after each pci_get_whatever().
Not sure if there's a nicer way, esp given we have a bunch of device code from
2-3 OSs in here.
kern/arch/x86/pci.c
kern/arch/x86/pci.h