Symbol: vhost_detach_mm
drivers/vhost/vhost.c
1132
vhost_detach_mm(dev);
drivers/vhost/vhost.c
1225
vhost_detach_mm(dev);