port_dev_name    4696 drivers/usb/typec/tcpm/tcpm.c 	const char *port_dev_name = dev_name(port->dev);
port_dev_name    4698 drivers/usb/typec/tcpm/tcpm.c 				     strlen(port_dev_name) + 1;
port_dev_name    4708 drivers/usb/typec/tcpm/tcpm.c 		 port_dev_name);