/* * AcpiOsReadPciConfiguration: * * Read a value from a PCI configuration register. */