MTTY_NAME        1420 samples/vfio-mdev/mtty.c 				  MTTY_NAME);
MTTY_NAME        1442 samples/vfio-mdev/mtty.c 	dev_set_name(&mtty_dev.dev, "%s", MTTY_NAME);