mdev_device_free 269 drivers/vfio/mdev/mdev_core.c mdev_device_free(mdev); mdev_device_free 310 drivers/vfio/mdev/mdev_core.c mdev_device_free(mdev);