Symbol: tb_switch_pcie_bridge_write