uml_vfio_user_teardown_device
uml_vfio_user_teardown_device(&dev->udev);
void uml_vfio_user_teardown_device(struct uml_vfio_user_device *dev);