Symbol: is_usb4_dpin