tree c5e171c3aa05c335d15f6c2875674f27984355c0
parent 0e92ede84cf810359c01b4aa25748081c3ca1fbb
author Aditya Basu <mitthu@google.com> 1565973247 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1566232749 -0400

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>