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>
Sun, 1 Mar 2015 14:35:59 +0000 (09:35 -0500)
commite519014b3785cf538b303ba5a64d0ab664552d7a
treed672731131cba3a1e95963ed84ff02a2bec7be71
parentcdcd132907076d38d15ad6e25d62e477d33d364a
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