Symbol: t4_read_pcie_cfg4