pci: add mmio addr to #pci ctl files
authorAditya Basu <mitthu@google.com>
Fri, 16 Aug 2019 16:34:07 +0000 (12:34 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 19 Aug 2019 16:39:09 +0000 (12:39 -0400)
commitf2889d5fce2d042f8bbed1b6c868421a896e184f
treec5e171c3aa05c335d15f6c2875674f27984355c0
parent0e92ede84cf810359c01b4aa25748081c3ca1fbb
pci: add mmio addr to #pci ctl files

Before:
    $ cat /dev/pci/0.4.0ctl
    8.80.0 8086/2021  11 0:0x 16384

After:
    $ cat /dev/pci/0.4.0ctl
    8.80.0 8086/2021  11 0:0x    0/febf0000 16384

The mmio_base32 and mmio_base64 physical address mappings are now
printed. If the device is dma64 capable then it gets mapped to
mmio_base64 as is the case above. The PCI device information shown above
is for Intel CBDMA.

Signed-off-by: Aditya Basu <mitthu@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/drivers/dev/pci.c