tree 1b72f5e055ed910ce8b03082ec844682c481ae64
parent d61d0d72d8b5d88e6e0afb2b63ca315063aa9707
author Barret Rhoden <brho@cs.berkeley.edu> 1421971435 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1422976350 -0500

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.