Symbol: xe_vdev_to_dev
drivers/vfio/pci/xe/main.c
283
dev_dbg(xe_vdev_to_dev(xe_vdev),
drivers/vfio/pci/xe/main.c
379
dev_dbg(xe_vdev_to_dev(xe_vdev),