usb4_port_index
int usb4_port_index(const struct tb_switch *sw, const struct tb_port *port);
int usb4_idx = usb4_port_index(sw, port);
int usb4_idx = usb4_port_index(sw, port);
return usb4_port_index(sw, usb4->port) == usb4_port_num;