Symbol: usb4_port_wait_for_bit