Symbol: usb4_switch_map_pcie_down