drm/vboxvideo: Use devm_gen_pool_create
authorDaniel Vetter <daniel.vetter@ffwll.ch>
Wed, 15 Apr 2020 07:39:41 +0000 (09:39 +0200)
committerDaniel Vetter <daniel.vetter@ffwll.ch>
Tue, 28 Apr 2020 13:08:51 +0000 (15:08 +0200)
commit4cc9b565454bb2cf5d27d58485816570f18f5a5a
tree202fd86ea1a44d8fedc58fbe76313c18c6f5c90a
parent8558de401b5fbbfb1df96d6986bba3c79cd47401
drm/vboxvideo: Use devm_gen_pool_create

Aside from deleting all the cleanup code we're now also setting a name
for the pool

Acked-by: Sam Ravnborg <sam@ravnborg.org>
Reviewed-by: Hans de Goede <hdegoede@redhat.com>
Signed-off-by: Daniel Vetter <daniel.vetter@intel.com>
Cc: Hans de Goede <hdegoede@redhat.com>
Link: https://patchwork.freedesktop.org/patch/msgid/20200415074034.175360-7-daniel.vetter@ffwll.ch
drivers/gpu/drm/vboxvideo/vbox_main.c