t4_hw_pci_read_cfg4
void t4_hw_pci_read_cfg4(adapter_t *adapter, int reg, u32 *val);
t4_hw_pci_read_cfg4(adap, reg, &val);
t4_hw_pci_read_cfg4(padap, j, value++);