Symbol: vduse_dev_destroy
drivers/vdpa/vdpa_user/vduse_dev.c
2041
vduse_dev_destroy(dev);
drivers/vdpa/vdpa_user/vduse_dev.c
2273
vduse_dev_destroy(dev);