dw_pcie_readb_dbi
int_pin = dw_pcie_readb_dbi(pci, PCI_INTERRUPT_PIN);
hdr_type = dw_pcie_readb_dbi(pci, PCI_HEADER_TYPE) &
*val = dw_pcie_readb_dbi(pci, where);
val = dw_pcie_readb_dbi(pci, offset + i);