[coreboot-gerrit] Patch merged into coreboot/master: PCI ops: Rename pcie_xx() to pci_mmio_xx()

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit d8d43ba6ac5d1627262f9e60f44add01658ce692
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Sun Oct 27 14:59:00 2013 +0200

    PCI ops: Rename pcie_xx() to pci_mmio_xx()
    
    Change-Id: I7fa65197b8165b9b0b74937f9ba455c48308da37
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
    Reviewed-on: https://review.coreboot.org/17530
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at chromium.org>


See https://review.coreboot.org/17530 for details.

-gerrit