usb4_set_xdomain_configured
return usb4_set_xdomain_configured(port, true);
usb4_set_xdomain_configured(port, false);